Zur Analyse der Kontrollstruktur von parallelen Programmen mit Hilfe von Petri-Netzen | lit.salon