Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen - Greim, Thomas (Lehrstuhl für Regelungssysteme und Steuerungstechnik, 1994)