Process semantics for place/transition nets with inhibitor and read arcs

Fundamenta Informaticae

Volumn 40, Issue 2-3, 1999, Pages 165-197

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

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF SIENA   (Italy)

^c Dipartimento di Scienze dell'Informazione   (Italy)

Author keywords

Contextual Nets; Process Semantics; Step Semantics

Indexed keywords

EID: 0006492893     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-402304     Document Type: Article

References (22)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, John Wiley, 1995.
2. J. Baer, "Modeling for parallel computation: a case study", in Proc. Sagamore Computer Conference on Parallel Processing, IEEE, 1973.
3. E. Best, M. Koutny, "Petri Net Semantics of Priority Systems", Theoretical Computer Science 96, 175-215, 1992.
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, "Non sequential semantics for Contextual P/T nets", In Proc. ICATPN'96, LNCS 1091, Springer, 113-132, 1996.
7. 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.
8. M. Flynn, T. Agerwala, "Comments on capabilities, limitations and 'correctness' of Petri nets", Computer Architecture News 4, vol. 2, 1973.
9. U. Goltz, W. Reisig, "The Nonsequential Behaviour of Petri Nets", Information and Computation 57, 125-147, 1983.
10. M. Hack, "Petri Net Languages", Technical Report 159, MIT, 1976.
11. R. Janicki, M. Koutny, "Semantics of inhibitor nets", Information and Computation 123, 1-16, 1995.
12. U. Montanari, F. Rossi, "Contextual Nets", Acta Information 32, 545-596,1995.
13. U. Montanari, F. Rossi, "Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets", in Constraint Programming, MIT Press, 1995.
14. J. Noe, "A Petri net model of the CDC 6400", Proc. ACM SIGOPS Workshop on System Performance and Evaluation, 1971.
15. S. Patil, "Coordination of Asynchronous Events", PhD Thesis, Department of Electrical Engineering, MIT, 1970.
16. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, 1981.
17. C. A. Petri, Kommunikation mit Automaten, PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
18. W. Reisig, "Petri Nets: An Introduction", EATCS Monographs in Computer Science, Springer, 1985.
19. G. Ristori, "Modelling Systems with Shared Resources via Petri Nets", Ph.D. Thesis, Università di Pisa, TD-5/94, 1994.
20. W. Vogler, "Efficiency of Asynchronous Systems and Read Arcs in Petri Nets", in Proc. ICALP'97, LNCS 1256, Springer, 538-548, 1997.
21. W. Vogler, "Partial Order Semantics and Read Arcs", In Proc. MFCS'97, LNCS 1295, Springer, 508-517, 1997.
22. J. Winkowski "Process of Contextual Nets and their Characteristics", Fundamentae Informaticae 33, 1-31, 1998.