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)
{. Genrich, and K. Lautenbach. Semantics of Concurrent Compilation, volume 70 of Lecture Notes in Computer Science, page 123--146. Springer-Verlag, Berlin, (1979)