Исследование сп-модели путем построения дерева достижимых разметок

Дерево достижимости через ПО:

Рисунок 6. Дерево достижимости через ПО

Рисунок 7. Дерево достижимости вручную

Вывод:

При исследование было использовано два способа анализа. Первый способ (ДДР) заключается в проверке дерева на наличие тупиков и переходов в бесконечность. Если каких-либо отклонений в сети Петри не замечено, необходимо проверить при помощи матричного метода. Второй способ позволяет проверить, какая именно p и t цепь у нас, что позволяет сделать вывод, хорошо ли работает сеть Петри.