Title: Zur Analyse der Kontrollstruktur von parallelen Programmen mit Hilfe von Petri-Netzen