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