|
Abstract : |
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, |
