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