Marek Leszak Horst Eggert Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen Informatik-Fachberichte 197 Springer 1989 3-540-50642-X