Comparing truly concurrent semantics for contextual place/transition nets

Fundamenta Informaticae

Volumn 44, Issue 3, 2000, Pages 209-244

  Busi, Nadia ^a,b   Pinna, G Michele ^a,c  

^a Università di Bologna ^*  (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF SIENA   (Italy)

Author keywords

Causal Semantics; Contextual Nets; Process Semantics; Step Semantics

Indexed keywords

EID: 0039973836     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, John Wiley, 1995.
2. E. Best, R. Devillers, A. Kiehn, L. Pomello, "Concurrent bisimulations in Petri nets", Acta Informatica 28, 231-264, 1991.
3. M. Boreale, D. Sangiorgi, "A fully abstract semantics of causality in the π-calculus", Acta Informatica 35, 353-400, 1998.
4. F. Bueno, M. Hermenegildo, U. Montanari, F. Rossi, "Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs", Science of Computer Programming 30, 51-82 ,1998
5. N. Busi, R. Gorrieri, "A Petri Net Semantics for π-calculus", In Proc. Concur'95 , LNCS 962, Springer, 145-159, 1995.
6. N. Busi, G.M. Pinna, "A Causal Semantics for Contextual P/T nets", In Proc. ICTCS'95, World Scientific, 311-325, 1995.
7. N. Busi, G. M. Pinna, "Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs" Fundamentae Informaticae 40, 165-197, 1999.
8. Ph. Darondeau, P. Degano, "Causal Trees", in Proc. ICALP'89, LNCS 372, Springer, 234-248, 1989.
9. N. De Francesco, U. Montanari, G. Ristori, "Modeling Concurrent Accesses to Shared Data via Petri Nets", in Proc. PROCOMET'94, North Holland, 403-422, 1994.
10. P. Degano, R. De Nicola, U. Montanari, "Partial ordering descriptions and observations of nondeterministic concurrent processes", in Proc. REX School/Workshop on Linear Time, Branching Time and Partial Order in Logic and Models of Concurrency, LNCS 354, 438-466, 1989.
11. P. Degano, C. Priami, "Causality for Mobile Processes", in Proc. ICALP'95, LNCS 944, 660:671, Springer, 1995.
12. M. Flynn, T. Agerwala, "Comments on capabilities, limitations and 'correctness' of Petri nets", Computer Architecture News 4, vol. 2, 1973.
13. R. J. van Glabbeek, U. Goltz, "Equivalence notions for concurrent systems and refinement of actions" in Proc MFCS 89, LNCS 379, 237:248, Springer, 1989.
14. U. Goltz, W. Reisig, "The Nonsequential Behaviour of Petri Nets", Information and Computation 57, 125-147, 1983.
15. M. Hack, "Petri Net Languages", Technical Report 159, MIT, 1976.
16. R. Janicki, M. Koutny, "Semantics of inhibitor nets", Information and Computation 123, 1-16, 1995.
17. U. Montanari, F. Rossi, "Contextual Nets", Acta Informatica, 32, 545-596,1995.
18. U. Montanari, F. Rossi, "Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets", in Constraint Programming, MIT Press, 1995.
19. C. A. Petri, Kommunikation mit Automaten, PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
20. A. Rabinovich, B. A. Trakhtenbrot, "Behaviour structures and nets", Fundamentae Informaticae 11:357:404, 1988.
21. G. Ristori, "Modelling Systems with Shared Resources via Petri Nets", Ph.D. Thesis, Università di Pisa, TD-5/94, 1994.
22. W. Vogler, "Efficiency of Asynchronous Systems and Read Arcs in Petri Nets", in Proc. ICALP'97, LNCS 1256, Springer, 538-548, 1997.
23. W. Vogler, "Partial Order Semantics and Read Arcs", In Proc. MFCS'97, LNCS 1295, Springer, 508-517, 1997.
24. J. Winkowski "Process of Contextual Nets and their Characteristics", Fundamentae Informaticae 33, 1-31, 1998.