Вариант 6. Есть принятый пример выполнения. Симуляция и анализ сетей Петри онлайн: https://petri-nets.ru