For the most recent entries see the Petri Nets Newsletter.

Non Sequential Semantics for Contextual P/T Nets.

Busi, Nadia; Pinna, G. Michele

In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 113-132. Springer-Verlag, June 1996.

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 an earlier paper we proposed a causal semantics for such nets, in this paper we study the non sequential semantics of contextual P/T nets. The semantics is based on a suitable notion of occurrence net and, equipped with a notion of history preserving bisimulation, is more discriminating of the contextual one in general, whereas both are equivalent if we restrict our attention to positive context only.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography