Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen - Leszak, Marek (Informatik - Fachberichte, 1989)