Petri Nets图形图像生成工具

Question

使用什么软件或工具来生成这些高级Petri网图形图像？
我寻找了很多工具，但找不到那个。

来自https://ieeexplore.ieee.org/document/7464291

来自https://link.springer.com/article/10.1007/s11227-013-1055-z

来自https://ieeexplore.ieee.org/document/7008450

Answer 1

https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/cpnami.html上有一个Petri网工具数据库，尽管GUI Macao工具的链接已断开。

在过去的https://graphviz.gitlab.io/resources/中，尽管到目前为止我还没有找到一种使用起来非常简单的工具，但我还是使用了多种基于GraphVis的工具。

通常似乎点格式用于Petri网，这需要在文本编辑器中将网络编码为点文件，并使用各种工具进行渲染。 https://en.wikipedia.org/wiki/DOT_(graph_description_language)

希望有帮助。