'Petri Nets graph image generation tool
What software or tool was used to generate these high-level petri nets graph images?
I looked for many tools but could not find that one.
from https://ieeexplore.ieee.org/document/7464291
(source: springernature.com)
from https://link.springer.com/article/10.1007/s11227-013-1055-z
Solution 1:[1]
There is a petri net tools database at https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/cpnami.html although the link for the GUI Macao tool is broken.
I have used various GraphVis based tools for this in the past https://graphviz.gitlab.io/resources/ though I have not found one to date that is really simple to use.
Generally seems that the dot format is used for petri nets, this requires coding the network as a dot file in a text editor and use various tools to render it. https://en.wikipedia.org/wiki/DOT_(graph_description_language)
Hope that helps.
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|---|
| Solution 1 | Jon Guiton |