Тренажер сети Петри (Разработчики: Бежин М.Ю., Воеводин Л.М.), 430,3 kB

Тренажер сети Петри. Для установки программы достаточно запустить файл NPInstall.exe. Архив содержит демонстрационные примеры сетей Петри: Взаимодействующие протоколы.npx  и Змей Горыныч.npx
Режим работы тренажера - многооконный. Ведется подробный протокол выполнения. Не предусмотрен режим автоматического выполнения.

Для установки запустите файл инсталляции.