1. A. Petri, “Kommunication mit Automaten”, Ph.D. Thesis, University of Bonn, 1962.
2. M. Hack, “Petri net languages”, Computation Structures Group Memo, Project MAC 124, MIT, Cambridge Mass, 1975.
3. M. Jantzen, Rairo-Inf Theor 13(1), 19–30 (1979).
4. M. H. ter Beek and H. C. M. Kleijn, Formal and Natural Computing, Berlin: Springer-Verlag, 2002, pp. 220–243.
5. M. Jantzen, M. Kudlek and G. Zetzsche, Fundam Inform 85, 1-4, 267–280 (2008).