Petri-Netz-Methoden und-Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und - validation von Rechensystemen - Leszak, M; Eggert, H (Springer Verlag, 1989)