In: Diss. ETH Nr. 8770. 1989. In German.
Abstract: Es wird eine Beschreibungsmethode für verteilte oder parallele Systeme definiert, die eine Erweiterung der Petri-Netze darstellt. Diese Erweiterung basiert auf der Verwendung einer Programmiersprache für die Beschriftung der Netzelemente. Für die Sprachen Smalltalk, C und Prolog wurde ein Laufzeitsystem entwickelt, mit dem die Systembeschreibungen ausführbar sind.