Инструмент генерации графических изображений Петри Нетс
Какое программное обеспечение или инструмент использовался для создания этих графических изображений сетей Петри высокого уровня?
Я искал много инструментов, но не мог найти тот.
с https://ieeexplore.ieee.org/document/7464291
с https://link.springer.com/article/10.1007/s11227-013-1055-z
0 ответов
База данных инструментов сети Петри находится по адресу https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/cpnami.html, хотя ссылка на инструмент GUI Macao не работает.
В прошлом я использовал для этого различные инструменты на основе GraphVis https://graphviz.gitlab.io/resources/, хотя на сегодняшний день я не нашел ни одного, действительно простого в использовании.
Обычно кажется, что для сетей Петри используется точечный формат, это требует кодирования сети как точечного файла в текстовом редакторе и использования различных инструментов для его визуализации. https://en.wikipedia.org/wiki/DOT_(graph_description_language)
Надеюсь, это поможет.