Petri-Netze eine einführende Übersicht für Studierende der Informatik - Sonnenschein, Michael (Schriften zur Informatik und angewandten Mathematik., 1992)