Petri-Netze eine einführende Übersicht für Studierende der Informatik - Sonnenschein, Michael (RWTH Aachen, Fachgr. Informatik, 1992)