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 [3] 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.
Research partially supported by EC BRA n. 9102 COORDINATION, and MURST, quota 60%.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E. Best, R. Devillers, A. Kiehn, L. Pomello, “Concurrent bisimulations in Petri nets”, Acta Informatica 28, 231–264, 1991.
N. Busi, R. Gorrieri, “A Petri Net Semantics for π-calculus”, in Proc. Concur'95, LNCS 962, Springer, 145–159, 1995.
N. Busi, G. M. Pinna, “A Causal Semantics for Contextual P/T Nets”, To appear in Proc. ICTCS'95, 1995.
N. De Francesco, U. Montanari, G. Ristori, “Modelling Concurrent Access to Shared Data via Petri Nets”, in Proc. Procomet'94, North-Holland, 337–396, 1994.
Ph. Darondeau, P. Degano, “Causal Trees”, in Proc. ICALP'89, LNCS 372, Springer, 234–248, 1989.
U. Goltz, W. Reisig, “The Nonsequential Behaviour of Petri Nets”, Information and Computation 57, 125–147, 1983.
R. Janicki, M. Koutny, “Invariant Semantics of Nets with Inhibitor Arcs”, in Proc. CONCUR'91, LNCS 527, Springer, 317–331, 1991.
R. Milner, J. Parrow, D. Walker, “A Calculus of Mobile Processes”, Information and Computation 100, 1–77, 1992.
U. Montanari, F. Rossi “Contextual Nets”, Acta Informatica 36, 545–596, 1995.
C. A. Petri, “Non-Sequential Processes”, Gesellschaft für Mathematik und Datenverarbeitung Bonn, Interner Bericht ISF-77-5, 1977.
G. M. Pinna, A. Poigné “On the Nature of Events”, in Proc. MFCS'92, LNCS 629, Springer, 430–441, 1992.
G. M. Pinna, A. Poigné “On the Nature of Events: another Perspective in Concurrency”, Theoretical Computer Sciences 138, 425–454, 1995.
W. Reisig, “Petri Nets: An Introduction”, EATCS Monographs in Computer Science, Springer, 1985.
G. Ristori, “Modelling Systems with Shared Resources via Petri Nets”, Ph.D. Thesis, Università di Pisa, TD-5/94, 1994.
W. Vogler, “Modular Construction and Partial Order Semantics of Petri Nets” LNCS 625, Springer, 1992.
G. Winskel, “Event Structures”, in Petri Nets: Applications and Relationships to other Models of Concurrency, LNCS 255, Springer, 325–392, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Busi, N., Pinna, G.M. (1996). Non sequential semantics for contextual P/T nets. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive