💾 Archived View for siiky.srht.site › wiki › petri_nets.gmi captured on 2023-09-28 at 16:33:41. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-09-08)
-=-=-=-=-=-=-
siiky
2023/05/14
2023/09/22
2023/09/22
programming,formal_methods,computer_science
gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Petri_net
A formal and graphical mathematical modeling language.
How do Petri nets compare with interaction nets?
book.wolfgang_reisig.understanding_petri_nets.gmi
wp.jorgen_brandt.modeling_erlang_processes_petri_nets.gmi
"The Mathematical Specification of the Statebox Language"
H. J. Genrich, K. Lautenbach, P. S. Thiagarajan, "Elements of general net theory"
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: