Алгоритм імітації базової мережі Петрі з використанням об’єктно-орієнтованого підходу. Основними об’єктами є Позиція, Перехід, Дуга та Модель. На початку алгоритму здийснється вхід маркерів. Потім в циклі здійснюються запуски переход доки існуює можливість запуску або вичерпана задана кількість запусків переходів. Запуск переходу здійснюється в два кроки: вихід та вхід маркерів з переходу. При виході маркерів здійснюється вихід з усіх переходів, для яких був виконаний вхід маркерів. При вході маркерів здійснюється вхід в усі переходи, для яких виконан умова запуску. За результатами моделювання виводиться протокол запуску переходів
doliom/basic-petri-net
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|