Abstract
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel's work on safe nets: the event based semantics is given at categorical level via a chain of coreflections leading from the category WS-CN of weakly safe contextual nets to the category Dom of finitary prime algebraic domains. A fundamental rÔle is played by the notion of asymmetric event structures that generalize Winskel's prime event structures, following an idea similar to that of “possible flow” introduced by Pinna and Poignè. Asymmetric event structures have the usual causal relation of traditional prime event structures, but replace the symmetric conflict with a relation modelling asymmetric conflict or weak causality. Such relation allows one to represent the new kind of dependency between events arising in contextual nets, as well as the usual symmetric conflict. Moreover it is used in a non-trivial way in the definition of the ordering of configurations, which is different from the standard set-inclusion.
Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and by the EC Esprit WG APPLIGRAPH (Applications of Graph Transformation).
On leave from University of Pisa, Computer Science Department.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
G. Boudol. Flow Event Structures and Flow Nets. In Semantics of System of Concurrent Processes, volume 469 of LNCS, pages 62–95. Springer Verlag, 1990.
G. Boudol and I. Castellani. Permutation of transitions: an event structure semantics for CCS and SCCS. In Linear Time, Branching Time and Partial Order Semantics in Logics and Models for Concurrency, volume 354 of LNCS, pages 411–427. Springer Verlag, 1988.
N. Busi and R. Gorrieri. A Petri Nets Semantics for π-calculus. In Proceedings CONCUR'95, volume 962 of LNCS, pages 145–159. Springer Verlag, 1995.
N. Busi and G. M. Pinna. Non Sequential Semantics for Contextual P/T Nets. In Application and Theory of Petri Nets, volume 1091 of LNCS, pages 113–132. Springer Verlag, 1996.
S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets, volume 691 of LNCS, pages 186–205. Springer Verlag, 1993.
A. Corradini. Concurrent Graph and Term Graph Rewriting. In U. Montanari and V. Sassone, editors, Proceedings CONCUR'96, volume 1119 of LNCS, pages 438–464. Springer Verlag, 1996.
N. De Francesco, U. Montanari, and G. Ristori. Modeling Concurrent Accesses to Shared Data via Petri Nets. In Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 403–422. North Holland, 1994.
P. Degano, R. Gorrieri, and S. Vigna. On Relating Some Models for Concurrency. In M. C. Gaudel and J. P. Jouannaud, editors, 4 th Conference on Theory and Practice of Software Development, volume 668 of LNCS, pages 15–30. Springer-Verlag, 1993.
R. Janicki and M Koutny. Invariant semantics of nets with inhibitor arcs. In Proceedings CONCUR '91, volume 527 of LNCS. Springer Verlag, 1991.
R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1–16, 1995.
R. Langerak. Bundle Event Structures: A Non-Interleaving Semantics for Lotos. In 5 th Intl. Conf. on Formal Description Techniques (FORTE'92), pages 331–346. North-Holland, 1992.
J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In Proceedings CONCUR '92, volume 630 of LNCS, pages 286–301. Springer Verlag, 1992.
U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In H.-J. Schneider and H. Ehrig, editors, Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS. Springer Verlag, 1994.
U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.
G. M. Pinna and A. Poigné. On the nature of events. In Mathematical Foundations of Computer Science, volume 629 of LNCS, pages 430–441. Springer Verlag, 1992.
G. M. Pinna and A. Poigné. On the nature of events: another perspective in concurrency. Theoretical Computer Science, 138:425–454, 1995.
G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, Università di Pisa, 1994.
W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. Technical Report 352, Institüt für Mathematik, Augsburg University, 1996.
W. Vogler. Partial Order Semantics and Read Arcs. In Mathematical Foundations of Computer Science, volume 1295 of LNCS, pages 508–518. Springer Verlag, 1997.
G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325–392. Springer Verlag, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldan, P., Corradini, A., Montanari, U. (1998). An event structure semantics for P/T contextual nets: Asymmetric event structures. In: Nivat, M. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 1998. Lecture Notes in Computer Science, vol 1378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053542
Download citation
DOI: https://doi.org/10.1007/BFb0053542
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64300-5
Online ISBN: 978-3-540-69720-6
eBook Packages: Springer Book Archive