siiky
2023/05/14
2023/10/10
2023/10/10
programming,formal_methods,computer_science,petri_nets
gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Petri_net
A formal and graphical mathematical modeling language.
The main Petri nets theoretical background
Gemlog entries about my Petri nets journey
How do Petri nets compare with interaction nets?
Master's Thesis page for reading material
GraphViz doesn't cut it... But the LaTeX package TikZ has a Petri nets library:
https://tikz.dev/tutorial-nodes
https://tikz.dev/library-petri
Though the tuto creates a whole document with the graphics, there seem to be ways of creating standalone PDFs of the image:
https://tex.stackexchange.com/a/51761
https://tex.stackexchange.com/a/23567
https://tex.stackexchange.com/a/32363
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:
assets/tikz_petri_net_tuto_example.tex
assets/tikz_petri_net_tuto_example.pdf
Unfortunately, nodes of the graph have to be placed semi-manually... How to work automate that?