Fortschrittberichte VDI, Reihe 8, Nr. 142. Aachen: RWTH Aachen, 1987. In German.
Abstract: Auf der Grundlage der Petri-Netz-Theorie werden mathematische Modellierungs- und Analysemethoden aufgezeigt, die den Entwurf diskreter Steuerungen für nebenläufige Prozesse unterstützen können. Zur Analyse von Petri-Netzen werden Verfahren der Graphentheorie und Verfahren der linearen Algebra gegenübergestellt. In Hinblick auf die Ermittlung der Netzinvarianten findet die Lösung linearer diophantischer Gleichungssysteme besondere Beachtung.