Analyse von Petri-Netz-Modellen - Starke, Peter H. 1937- (Leitfäden und Monographien der Informatik, 1990)