Задание 2023_Б18.Эмулятор сетей Петри для анализа процессов

(СППР, разработка ПО)



Реализовать конструктор моделей сетей Петри. Реализовать интерфейс задания и сохранения начальных состояний сети. Дать возможность пользователю устанавливать соответствие подмножеству объектов сети элементу реального процесса. Реализовать следующие алгоритмы анализа сети: 1) моделирования поведения на основе исходных данных, 2) достижимости; 3) живости.



Список литературы:

1. Котов В. Е. Сети Петри. — М: Наука, 1984. — 160 с.

2. Питерсон Дж. Теория сетей Петри и моделирование систем. — М: Мир, 1984. — 264 с.



Для разработки эмулятора можно использовать любые библиотеки.

Плюс написать отчет о проекте, пример будет в файле