graph-visualization - 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 澳门工具的链接已损坏。

在过去，我已经为此使用了各种基于 GraphVis 的工具https://graphviz.gitlab.io/resources/尽管我迄今为止还没有找到一个真正易于使用的工具。

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

希望有帮助。