A Causal Semantics for Contextual P/T Nets
Nadia Busi, Giovanni Pinna · 1995
The problem of finding a true concurrent semantics for contextual P/T nets has not been deeply studied yet. The interest for such a semantics has been renewed by some recent proposals to equip mobile process algebras with a net semantics based on this model. In this paper we move a step towards the definition of such a semantics: we first propose a causal semantics for P/T nets and we prove that this semantics is equivalent to history preserving bisimulation defined on nonsequential processes; then we develop a conservative extension of the causal semantics to contextual P/T nets (i.e. nets with positive and negative context conditions) and we prove this one to be finer than step semantics, proposed in [8]. 1 Introduction Place/Transition nets [9] are a well known model used to describe concurrent systems. Usually a true concurrent semantics for these nets is provided by means of processes [4]; then, to take into account also the branching structure of systems, the history preserving ...