In: 2: Theor. Comput. Sci., Vol. 59, No. 1, pages 25-84. 1988.
Abstract: The paper endeavours to propose a semantics for ``true'' concurrency as well as an adequate treatment of nondeterminism. It also addresses the issue of a semantics for atomic actions. All this is achieved by firstly choosing a formalism in which sequentiality (causality), nondeterminism (conflict) and concurrency are distinct notions, viz. event structures. This constitutes the so-called system model. Next an execution model is proposed based on the system model. Plotkin-style operational semantics is provided. Finally the execution model is extended to an operation model.
Keywords: true concurrency; atomicity; nondeterminism; causality; conflict; event structure; operational semantics.
Back to the Petri Nets Bibliography