Peterson, James L. Petri nets. (English) Zbl 0357.68067 Comput. Surv. 9, 223-252 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 42 Documents MSC: 68Q45 Formal languages and automata 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity PDF BibTeX XML Cite \textit{J. L. Peterson}, Comput. Surv. 9, 223--252 (1977; Zbl 0357.68067)