siiky
2023/05/14
2023/10/10
2023/10/10
programming,formal_methods,computer_science,petri_nets
A formal and graphical mathematical modeling language.
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?