On the semantics of place/transition Petri nets

Mathematical Structures in Computer Science

Volumn 7, Issue 4, 1997, Pages 359-397

  Meseguer, Jose ^a   Montanari, Ugo ^b   Sassone, Vladimiro ^b  

^a SRI INTERNATIONAL   (United States)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84995567815     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129597002314     Document Type: Article

References (41)

1. Best, E. and Devillers, R. (1987) Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55 87–135.
2. Brown, C. and Gurr, D. (1990) A Categorical Linear Framework for Petri Nets. In: Proceedings of the 5th LICS Symposium, IEEE Press 208–218.
3. Brown, C., Gurr, D. and de Paiva, V. (1991) A Linear Specification Language for Petri Nets. Technical Report DAIMI PB-363, Computer Science Department, University of Aarhus, Aarhus, Denmark.
4. Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In: Proceedings of the 11th LICS Symposium, IEEE Press 55–62.
5. Degano, R, De Nicola, R. and Montanan U. (1988) A Distributed Operational Semantics for CCS based on Condition/Event Systems. Acta Informatica 26 59–91.
6. Degano, P., Meseguer, J. and Montanan U. (1989) Axiomatizing Net Computations and Processes. In: Proceedings of the 4th LICS Symposium, IEEE Press 175–185.
7. Engberg, U. and Winskel, G. (1993) Completeness Results for Linear Logic on Petri Nets. In: Springer-Verlag Lecture Notes in Computer Science 711 442–452.
8. Engelfriet, J. (1991) Branching Processes of Petri Nets. Acta Informatica 28 575–591. van Glabbeek, R. and Plotkin, G. (1995) Configuration Structures. In: Proceedings of the 10th LICS Symposium, IEEE Press 293–307.
9. van Glabbeek, R. and Vaandrager, F. (1987) Petri Net Models for Algebraic Theories of Concur-rency. In: Springer-Verlag Lecture Notes in Computer Science 259 224–242.
10. Goubault, E. (1993) Domains of Higher Dimensional Automata. In: Springer-Verlag Lecture Notes in Computer Science 720 293–307.
11. Goubault, E. and Jensen, T. P. (1992) Homology of Higher Dimensional Automata. In: Springer-Verlag Lecture Notes in Computer Science 630 254–268.
12. Goltz, U. and Reisig, W. (1983) The Non-Sequential Behaviour of Petri Nets. Information and Computation 57 125–147.
13. Gunawardena, J. (1993) A Generalized Event Structure for the Muller Unfolding of a Safe Net. In: Proceedings of CONCUR 93. Springer-Verlag Lecture Notes in Computer Science 715 278–292.
14. Hoogers, P.W., Kleijn, H.C.M. and Thiagarajan, P. S. (1992) A Trace Semantics for Petri Nets. In: Proceedings of ICALP 92. Springer-Verlag Lecture Notes in Computer Science 623 595–604.
15. Hoogers, P. W., Kleijn, H. C. M. and Thiagarajan, P. S. (1993) Local Event Structures and Petri Nets. In: Proceedings of CONCUR 93. Springer-Verlag Lecture Notes in Computer Science 715 462–476.
16. Mac Lane, S. (1971) Categories for the Working Mathematician Graduate Texts in Mathematics, Springer-Verlag. Marti-Oliet, N. and Meseguer, J. (1991) From Petri Nets to Linear Logic through categories: A survey. International Journal of Foundations of Computer Science 2 297–399.
17. Mazurkiewicz, A. (1988) Basic Notions of Trace Theory. In: Lecture notes for the REX summer-school in temporal logic. Springer-Verlag Lecture Notes in Computer Science 354 285–363.
18. Meseguer, J. and Montanan U. (1990) Petri Nets are Monoids. Information and Computation 88 105–155.
19. Meseguer, J. Montanan U. and Sassone, V. (1992) On the Semantics of Petri Nets. In: Proceedings of CONCUR 92. Springer-Verlag Lecture Notes in Computer Science 630 286–301.
20. Meseguer, J. Montanan U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In: Proceedings of the 15th International Conference on Application and Theory of Petri Nets. Springer-Verlag Lecture Notes in Computer Science 815 16–38.
21. Meseguer, J. Montanan U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science 153 171–210.
22. Milner, R. (1989) Communication and Concurrency Prentice-Hall.
23. Mukund, M. (1992) Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science 3 443–478.
24. Nielsen, M., Plotkin, G., and Winskel, G. (1981) Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science 13 85–108.
25. Nielsen, M., Rozenberg, G. and Thiagarajan, P. S. (1990) Behavioural Notions for Elementary Net Systems. Distributed Computing 4 45–47.
26. Olderog, E. R. (1987) A Petri Net Semantics for CCSP. In: Advances in Petri Nets. Springer-Verlag Science 255 196–223.
27. Petri, C. A. (1962) Kommunikation mit Automaten PhD thesis, Institut fur Instrumentelle Mathematik, Bonn, Germany.
28. Petri, C. A. (1973) Concepts of Net Theory. In: Proceedings of MFCS73, Mathematics Institute of the Slovak Academy of Science, 137–146.
29. Petri, C. A. (1977) Non-Sequential Processes. Interner Berich ISF-77-5, Gesellschaft fur Mathematik und Datenverarbeitung, Bonn, Germany.
30. Pratt, V. (1991) Modelling Concurrency with Geometry. In Proceedings of POPL 91, ACM Press, 311–322.
31. Reisig, W. (1985) Petri Nets, Springer-Verlag.
32. Sassone, V., Meseguer, J. and Montanari, U. (1993a) w-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. Presentation at the Workshop on Topology and Completion in Semantics. Institute Blaise Pascal, Chartres, France.
33. Sassone, V., Nielsen, M. and Winskel, G. (1993b) Deterministic Behavioural Models for Concurrency.
34. In: Proceedings of MFCS 93. Springer-Verlag Lecture Notes in Computer Science 711 682–692. Sassone, V. 1994 On the Semantics of Petri Nets: Processes, Unfoldings, and Infinite Computations, PhD Thesis, TD 6/94 Dipartimento di Informatica, Universita di Pisa, Italy.
35. Sassone, V. (1995) On the Category of Petri Net Computations. In: Proceedings of TAPSOFT 95, Springer-Verlag Lecture Notes in Computer Science 915 334–348.
36. Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theo-retical Computer Science 170 277–296.
37. Scott, D. (1970) Outline of a Mathematical Theory of Computation. In: Proceedings of 4th Annual Princeton Conference on Information Science and Systems 169–176.
38. Winskel, G. (1982) Event Structure Semantics for CCS and related languages. In: Proceedings of the 9th ICALP. Springer-Verlag Lecture Notes in Computer Science 140 561–576.
39. Winskel, G. (1984) A New Definition of Morphism on Petri Nets. In: Proceedings of STACS 84. Springer-Verlag Lecture Notes in Computer Science 166 140–150. Winskel, G. 1986 Event Structures. In: Proceedings of Advanced Course on Petri Nets. Springer-Verlag Lecture Notes in Computer Science 255 325–392.
40. Winskel, G. (1987) Petri Nets, Algebras, Morphisms and Compositionality. Information and Com-putation 72 197–238.
41. Winskel, G. (1988) An Introduction to Event Structures. In: Lecture notes for the REX summer-school in temporal logic. Springer-Verlag Lecture Notes in Computer Science 354 365–397.