Магистры специальности ТКС начали изучать моделирование сетей Петри. Сети Петри — это математический аппарат для моделирования динамических дискретных систем.
Для проверки решений задач по дисциплине применяется программа, позволяющая автоматизировать процесс, которая называется Platform Independent Petri net Editor 2 или сокращенно PIPE.
Программа позволяет строить сеть Петри, запускать ее и проверять граф на различные качества с помощью модулей, доступных в левой части окна программы (Analysis Module Manager). PIPE написана на Java поэтому для ее запуска у вас должна быт установлена Java Virtual Machine.
Download pipe25_rc5.zip (2022 Kb) from KITA.ShareПрограмма распространяется
БЕСПЛАТНО!