An event structure semantics for P/T contextual nets: Asymmetric event structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1378, Issue , 1998, Pages 63-80

  Baldan, Paolo ^a   Corradini, Andrea ^a   Montanari, Ugo ^b  

^a UNIVERSITY OF PISA   (Italy)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SEMANTICS;

ALGEBRAIC DOMAINS; CAUSAL RELATIONS; EVENT STRUCTURES; EVENT-BASED SEMANTICS; NON-TRIVIAL; PLACE/TRANSITION PETRI NETS;

COMPUTATION THEORY;

EID: 84947922406     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053542     Document Type: Conference Paper

References (20)

1. 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.
2. 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.
3. 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.
4. 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.
5. S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test axes and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets, volume 691 of LNCS, pages 186-205. Springer Verlag, 1993.
6. A. Corradini. Concurrent Graph and Term Graph Rewriting. In U. Montanaxi and V. Sassone, editors, Proceedings CONCUR’96, volume 1119 of LNCS, pages 438-464. Springer Verlag, 1996.
7. N. De Francesco, U. Montanaxi, 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.
8. ih Conference on Theory and Practice of Software Development, volume 668 of LNCS, pages 15-30. Springer-Verlag, 1993.
9. R. Janicki and M Koutny. Invariant semantics of nets with inhibitor axes. In Proceedings CONCUR ’91, volume 527 of LNCS. Springer Verlag, 1991.
10. R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1-16, 1995.
11. th Intl. Conf. on Formal Description Techniques (FORTE’92), pages 331-346. North-Holland, 1992.
12. J. Meseguer, U. Montanaxi, and V. Sassone. On the semantics of Petri nets. In Proceedings CONCUR ’92, volume 630 of LNCS, pages 286-301. Springer Verlag, 1992.
13. U. Montanaxi 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.
14. U. Montanaxi and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.
15. 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.
16. G. M. Pinna and A. Poigné. On the nature of events: another perspective in concurrency. Theoretical Computer Science, 138:425-454, 1995.
17. G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, Università di Pisa, 1994.
18. W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. Technical Report 352, Institiit fíir Mathematik, Augsburg University, 1996.
19. W. Vogler. Partial Order Semantics and Read Arcs. In Mathematical Foundations of Computer Science, volume 1295 of LNCS, pages 508-518. Springer Verlag, 1997.
20. 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.