Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH (GMD) Nr. 186, pages 1-151 pp.. München, Germany: Oldenbourg, 1990. In German.
Abstract: Das Verhalten verteilter Systeme läÑt sich in unterschiedlichen Kalkülen beschreiben. Oft wird jedoch eines der beiden Grundphänomene im Systemverhalten --- Nebenläufigkeit und Nicht-Determinismus --- bei der Modellierung zugunsten des jeweils anderen vernachlässigt. Vor diesem Hintergrund will das Buch einen Beitrag zu einer ausgewogenen Darstellung beider Verhaltensaspekte leisten. Für graphbasierte Modellierungsmethoden wird eine ablauforientierte Halbordnungssemantik entwickelt. Paradigmatisch wird für Petrinetzmodelle gezeigt, wie dynamische Systemeigenschaften durch Merkmale der semantischen Struktur charakterisiert werden.
Keywords: semantics (of) graph-based modelling methods; partial order semantics (for net models); concurrency (and) non-determinism.