Universität Bonn, Fachbereich Informatik, Diplomarbeit, May 1986. In German.
Also: Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, Arbeitspapiere der GMD Nr. 225, 1986. In German.
Abstract: Die Anwendung der Petri-Netze ergibt u.a.: Die schlüssigen Ableitungen entsprechen T-Invarianten unter Berücksichtigung aller Randtransitionen nach Beseitigung aller Nebenbedingungen; die Transformation aller Regeln in Horn-Klauseln bedeutet die Erweiterung der Netze durch Einführung von Zustandsstellen und Aufspaltung aller ausgangsseitig verzweigten Transitionen; die Modularisierung entspricht der Zerlegung von T-Invarianten.