M. Schiffers, and H. Wedde. Mathematical Foundations of Computer Science 1978, volume 64 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1978)
{. Genrich, and K. Lautenbach. Semantics of Concurrent Compilation, volume 70 of Lecture Notes in Computer Science, page 123--146. Springer-Verlag, Berlin, (1979)
C. Petri. Net theory and applications : Proceedings of the advanced course on general net theory,processes and systems (Hamburg, 1979), volume 84 of Lecture Notes in Computer Science, page 1--20. Springer-Verlag, Berlin, (1980)
J. Couvreur, S. Haddad, and J. Peyre. Applications and Theory of Petri Nets, volume 674 of Lecture Notes in Computer Science, page 51-70. Springer, (1991)