Chapter 13. Petri Nets
Petri nets are abstract graphic models invented in 1962 by Carl Adam Petri for his doctoral thesis. Originally, he used them for chemical processes, but they became popular with computer scientists for modeling concurrency in computer hardware, such as the CDC 6600.
Keywords: Carl Adam Petri, places, transitions, directed arcs, tokens
Petri nets are abstract graphic models invented in 1962 by Carl Adam Petri for his doctoral thesis. Originally, he used them for chemical processes, but they became popular with computer scientists for modeling concurrency in computer hardware, such as the CDC 6600.
Petri nets are minimal and very general, but also very rich in mathematical properties. Do not worry, I will not get into the math—I ...