# Petri nets
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.

=> wp.statebox.mathematical_specification_statebox_language.gmi The main Petri nets theoretical background
=> ../petri_nets/index.gmi Gemlog entries about my Petri nets journey
=> interaction_nets.gmi How do Petri nets compare with interaction nets?
=> masters_thesis.gmi Master's Thesis page for reading material

## How to draw Petri nets?

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?