In: Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 481-496. Berlin: Springer-Verlag, 1987.
Also in: Wissenschaftliche Schriften der Technischen Universität Karl-Marx-Stadt, Vol. 8; Beiträge zur Theorie and Anwendung von Petri-Netzen, pages 3-17. 1987.