Zero-safe nets: The individual token approach

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

Volumn 1376, Issue , 1998, Pages 122-140

  Bruni, Roberto ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957880881     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_30     Document Type: Conference Paper

References (22)

1. E. Best, R. Devillers and J. Hall. The Box Calculus: A New Causal Algebra with Multi-label Communication. In Advances in Petri Nets '92, LNCS, n. 609, 21-69. Springer-Verlag, 1992.
2. C. Brown and D. Gurr. A Categorical Linear Framework for Petri Nets. In Proceedings of the 5th LICS Symposium, 208-218, 1990.
3. R. Bruni, J. Meseguer, and U. Montanari. Process and Term Tile Logic. Technical Report, SRI International, to appear.
4. R. Bruni and U. Montanari. Zero-Safe Nets, or Transition Synchronization Made Simple. In Proceedings of EXPRESS'97, ENTCS, Vol.7, 1997.
5. P. Degano, J. Meseguer, and U. Montanari. Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica, 33(7):641-667, October 1996.
6. P. Degano, R. De Nicola, and U. Montanari. A Distributed Operational Semantics for CCS based on Condition/Event Systems. Acta Informatica, 26:59-91, 1988.
7. F. Gadducci and U. Montanari. The Tile Model In: Gordon Plotldn, Colin Stirling, and Mads Torte, Eds., Proof, Language and Interaction: Essays in Honour of Robin Milner MIT Press, to appear.
8. R. Gorrieri and U. Montanari. On the Implementation of Concurrent Calculi into Net Calculi: Two Case Studies TCS 141, l-P, 1995, 195-252.
9. R.J. Van Glabbeek and G.D. Plotkin. Configuration Structures. In D. Kozen, editor, Proceedings of the lOth LICS Symposium, IEEE, pages 199-209, 1995.
10. R. Van Glabbeek and F. Vaandrager. Petri Net Models for Algebraic Theories of Concurrency. In Proc. of PARLE, LNCS, n. 959, 224-242. Springer-Verlag, 1987.
11. U. Goltz and W. Reisig. The Non-Sequential Behaviour of Petri Nets. Information and Computation, 57:125-147, 1983.
12. S. MacLane. Categories for the Working Mathematician. Springer-Veflag, 1971.
13. J. Meseguer and U. Montanari Petri Nets are Monoids: A New Algebraic Foundations for Net Theory. Proc. 3rd LICS Symposium, IEEE 1988:155-164.
14. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105-155, October 1990.
15. J. Meseguer, U. Montanari, and V. Sassone. Process versus Unfolding Semantics for Place/Transition Petri Nets. TCS, Volume 153, issue 1-2, (1996) pages 171-210.
16. J. Meseguer, U. Montanari, and V. Sassone. Representation Theorems for Petri Nets. Festschrift in honor of Prof. Wflfried Brauer to appear.
17. E.R. Olderog. Operational Petri Net Semantics for CCSP. In G. Rozenberg, editor, Advances in Petri Nets '87, LNCS, n. 566, 196-223. Springer-Verlag, 1987.
18. W. Reisig. Petri Nets. Springer-Verlag, 1985.
19. G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis TD 05/94, Department of Computer Science, University of Piss, 1994.
20. V. Sassone. An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, vol. 170, n.l-2, pp 277-296, 1996.
21. G. Winskel. Event Structure Semantics of CCS and Related Languages. In Proceedings of ICALP '85, LNCS, n. 140, pages 561-567. Springer-Verlag, 1982.
22. G. Winskel. Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation, 72:197-238, 1987.