Axioms for contextual net processes

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

Volumn 1443 LNCS, Issue , 1998, Pages 296-308

  Gadducci, F ^a   Montanari, U ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CLASSICAL THEORY; MONOIDAL CATEGORIES; OPERATIONAL DESCRIPTION; P/T NET; READ ARCS;

AUTOMATA THEORY;

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

References (28)

1. P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P/T contextual nets: Asymmetric event structures. In M. Nivat, editor, Proceedings FoSSaCS'98, LNCS, pages 63-80. Springer Verlag, 1998.
2. E. Best, R. Devillers, A. Kiehn, and L. Pomello. Fully concurrent bisimulation. Acta Informatica, 28:231-261, 1991.
3. F. Bueno, M. Hermenegildo, U. Montanari, and F. Rossi. Partial order and contextual net semantics for atomic and locally atomic CC programs. Science of Computer Programming, 30:51-82, 1998.
4. N. Busi and R. Gorrieri. A Petri semantics for the 7r-calculus. In I. Lee and S. A. Smolka, editors, Proc. CONCUR'95, volume 962 of LNCS. Springer Verlag, 1995.
5. N. Busi and M. Pinna. Non-sequential semantics for contextual P/T nets. In J. Billington and W. Reisig, editors, Applications and Theory of Petri Nets 1996, volume 1091 of LNCS. Springer Verlag, 1996.
6. A. Caxboni and R.F.C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11-32, 1987.
7. S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets, volume 691 of LNCS, pages 186-205. Springer Verlag, 1993.
8. A. Corradini and F. Gadducci. A 2-categorical presentation of term graph rewriting. In Proceedings CTCS'97, volume 1290 of LNCS. Springer Verlag, 1997.
9. A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gs-monoidal categories. Applied Categorical Structures, 1998. To appear.
10. N. De Francesco, U. Montanari, and G. Ristori. Modeling concurrent accesses to shared data via Petri nets. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 403-442. North Holland, 1994.
11. P. Degano, J. Meseguer, and U. Montanari. Axiomatizing the algebra of net computations and processes. Acta Informatica, 33:641-647, 1996.
12. G Gadducci and R. Heckel. An inductive view of graph transformation. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. Springer Verlag, 1998.
13. U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125-147, 1983.
14. R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1-16, 1995.
15. P. Katis, N. Sabadini, and R.F.C. Walters. Bicategories of processes. Journal of Pure and Applied Algebra, 115:141-178, 1997.
16. S. Mac Lane. Categories for the working mathematician. Springer Verlag, 1971.
17. N. Martf-Oliet and J. Meseguer. From Petri nets to linear logic through categories: A survey. Int. Journal of Foundations of Computer Science, 4:297-399, 1991.
18. J. Meseguer. Rewriting logic as a semantic framework for concurrency: A progress report. In U. Montanari and V. Sassone, editors, Proceedings CONCUR'96, volume 1119 of LNCS, pages 331-372. Springer Verlag, 1996.
19. J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88:105-155, 1990.
20. U. Montanari and G. Ristori. A concurrent functional semantics for a process algebra based on action systems. Fundamenta Informaticae, 31:1-21, 1997.
21. U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In Graph Transformations in Computer Science, volume 776 of LNCS, pages 280-285. Springer Verlag, 1994.
22. U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.
23. A. Rabinovich and B. A. Trakhtenbrot. Behaviour structures and nets. Fundamenta Informaticae, 11:357-404, 1988.
24. W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
25. G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, University of Pisa - Department of Computer Science, 1994.
26. V. Sassone. An axiomatization of the algebra of Petri net concatenable processes. Theoret. Comput. Sci., 170:277-296, 1996.
27. W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. In Proc. ICALP'97, volume 1256 of LNCS, pages 538-548. Springer Verlag, 1997.
28. W. Vogler. Partial order semantics and read arcs. In Proc. MFCS'97, volume 1295 of LNCS, pages 508-518. Springer Verlag, 1997.