Petri nets
siiky
2023/05/14
2025/02/20
2025/02/20
programming,formal_methods,computer_science,petri_nets
A formal and graphical mathematical modeling language.
How to draw Petri nets...
... for documents
GraphViz doesn't cut it... But the LaTeX package TikZ has a Petri nets library:
Though the tuto creates a whole document with the graphics, there seem to be ways of creating standalone PDFs of the image:
The "minimal" approach was working until it came the time to draw tokens inside places. In the end I went with answer 51761. Applying it to follow the TikZ Petri nets tutorial:
Unfortunately, nodes of the graph have to be placed semi-manually... How to work automate that?