Berichte der GMD No. 174. München: Oldenbourg Verlag, 1989. In German.
Abstract: Es werden zwei parallele Programmiersprachen betrachtet, eine Pascal-ähnliche mit Zuweisungen, Variablen, atomaren Aktionen und Paralleloperationen und eine Occam-ähnliche mit Variablen und Kommunikation. Es wird eine semantiktreue Übersetzung von Programmen dieser Sprachen in elementare Petrinetze angegeben. Ein neuer, nicht-syntaktischer Abhängigkeitsbegriff wird untersucht, und es wird gezeigt, daÑ die Halbordnungssemantik von Petrinetzen eine Halbordnungssemantik von parallelen Programmen induziert, die solche Abhängigkeiten respektiert.