💾 Archived View for siiky.srht.site › wiki › petri_nets.gmi captured on 2024-08-18 at 18:07:46. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Petri nets

siiky

2023/05/14

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

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?