„Über Petri-Netze mit inhibitor-Kanten, deren Leistungsfähigkeit und Erreichbarkeitsmengen“, Rainer A. Stawarz @ J.W. Goethe-Universität Frankfurt/M, Diplomarbeit (1991), original