On the semantics of petri nets

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

Volumn 630 LNCS, Issue , 1992, Pages 286-301

  Meseguert, José ^a   Montanari, Ugo ^b   Sassonet, Vladimiro ^b  

^a SRI INTERNATIONAL   (United States)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SEMANTICS;

ABSTRACT INTERPRETATIONS; ALGEBRAIC DOMAINS; FUNCTORS; MONOIDAL CATEGORIES; MULTIPLE INSTANCES; NONSEQUENTIAL; OCCURRENCE NET; UNFOLDINGS;

ALGEBRA;

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

References (21)

1. E. BEST, AND R. DEVILLERS. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, n. 55, pp. 87-135, 1987.
2. P. DEGANO, R. DE NICOLA, AND U. MONTANAM. A Distributed Operational Semantics for CCS based on Conditionl Event Systems. Acta Informatica, n. 26, pp. 59-91, 1988.
3. P. DEGANO, J. MESEGUER, AND U. MONTANARI. Axiomatizing Net Computations and Processes. In proceedings of 4th LICS Symposium, pp. 175-185, IEEE, 1989.
4. J. ENGELFRIET. Branching Processes of Petri Nets. Acta Informatica, n. 28, pp. 575-591, 1991.
5. U. GOLTZ, AND W. REISIG. Tile Non-Sequential Behaviour of Petri Nets. Information and Computation, n. 57, pp. 125-147, 1983.
6. P.W. HOOGERS, H.C.M. KLEIJN, AND P.S. THIAGARAJAN. A Trace Semantics for Petri Nets. To appear in proceedings of ICALP '92, 1992.
7. S. MACLANE. Categories for the Working Mathematician. GTM, Springer-Verlag, 1971.
8. J. MESEGUER, AND U. MONTANARI. Petri Nets are Monoids. Information and Computation, n. 88, pp. 105-155, 1990.
9. M. NIELSEN, G. PLOTKIN, AND G. WINSKEL. Petri Nets, Event Structures and Domains, Part 1. TheoreticM Computer Science, n. 13, pp. 85-108, 1981.
10. E.R. OLDEROG. A Petri Net Semantics for CCSP. In Advances in Petri Nets, LNCS, n. 255, pp. 196-223, Springer-Verlag, 1987.
11. C.A. PETRI. Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn, FRG, 1962.
12. C.A. PETRI. Concepts of Net Theory. In proceedings of MFCS '73, pp. 137-146, Mathematics Institute of the Slovak Academy of Science, 1973.
13. C.A. PETRI. Non-Sequent, ial Processes. Interner Bericht ISF-77-5, Gesellscha für Mathematik and Datenverarbeitung, Bolm, FIG, 1977.
14. V. PRATT. Modeling Concurrency with Geometry. In proceedings of POPL '91, pp. 311-322, ACM, 1991.
15. W. RESIG. Petri Nets. Springer-Verlag, 1985.
16. D. SCOTT. Outline of a MathematicM Theory of Computation. In proceedings of 4th Annual Princeton Conference on Information Science and Systems, pp. 169-176, 1970.
17. B. VAN GLABAEEK, AND F. VAANDRAGER. Petri Net Model for Algebraic Theories of Concurrency. In proceedings of PARLE, LNCS, n. 259, pp. 224-242, Springer-Verlag, 1987.
18. G. WINSKEL. Event Structure Semantics for CCS and related languages. In proceedings of the 9th ICALP, LNCS, n. 140, pp. 561-576, Springer-Verlag, 1982.
19. G. WINSKGL. A New Definition of Morphism on Petri Nets. In proceedings of STACS '84, LNCS, n. 166, pp. 140-150, Springer-Verlag, 1984.
20. G. WINSKGL. Event Structures. In proceedings of Advanced Course on Petri Nets, LNCS n. 255, pp. 325-392, Springer-Verlag, 1987.
21. G. WINSKGL. Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation, n. 72, pp. 197-238, 1987.