В университете по дисциплине “Моделирование систем” начали изучать моделирование сетей Петри. Сети Петри — это математический аппарат для моделирования динамических дискретных систем.
Для проверки решений задач по дисциплине я решил найти какую-нибудь софтину, позволяющую автоматизировать процесс. Погуглив, нашел отличную программу, которая называется Platform Independent Petri net Editor 2 или сокращенно PIPE.
Программа позволяет строить сеть Петри, запускать ее и проверять граф на различные качества с помощью модулей, доступных в левой части окна программы (Analysis Module Manager). PIPE написана на Java поэтому для ее запуска у вас должна быт установлена Java Virtual Machine.
- Ссылка для скачивания – Platform Independent Petri net Editor 2
- http://pipe2.sourceforge.net/