Petri-netz-methoden und -werkzeuge : HILFSMITTEL ZUR ENTWURFSSPEZIFIKATION UND -VALIDATION VON RECHENSYSTEMEN - Leszak, M. (Informatik-Fachberichte / Springer Verlag ;, 1989)