Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 2, 2005, Pages 5-28

  Baldan, P ^a   Corradini, A ^b   Montanari, U ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Algebraic graph rewriting; Inhibitor arcs; Petri nets; Read arcs; Reset arcs

Indexed keywords

ALGEBRA; COMPUTATIONAL GRAMMARS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SET THEORY;

ALGEBRIC GRAPH REWRITING; INHIBITOR ARCS; READ ARCS; RESET ARCS;

PETRI NETS;

EID: 14944349055     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.003     Document Type: Conference Paper

References (28)

1. T. Agerwala, and M. Flynn Comments on capabilities, limitations and "correctness" of Petri nets Computer Architecture News 4 2 1973 81 86
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modelling with Generalized Stochastic Petri Nets 1995 John Wiley
3. T. Araki, and T. Kasami Some decision problems related to the reachability problem for Petri nets Theoretical Computer Science 3 1977 85 104
4. P. Baldan. Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, 2000. Available as technical report n. TD-1/00
5. P. Baldan, A. Corradini, and B. König A static analysis technique for graph transformation systems K.G. Larsen M. Nielsen Proceedings of CONCUR 2001 LNCS volume 2154 2001 Springer Verlag 381 395
6. J. Billington. Extensions to Coloured Petri nets and their applications to Protocols. PhD thesis, University of Cambridge, 1991
7. 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 1998 51 82
8. N. Busi, and R. Gorrieri A Petri Nets Semantics for π-calculus Proceedings of CONCUR'95 LNCS volume 962 1995 Springer Verlag 145 159
9. N. Busi, R. Gorrieri, and G. Zavattaro On the expressiveness of Linda coordination primitives Information and Computation 156 1-2 2000 90 121
10. S. Christensen, and N.D. Hansen Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs M. Ajmone-Marsan Applications and Theory of Petri Nets LNCS volume 691 1993 Springer Verlag 186 205
11. G. Ciardo Petri nets with marking-dependent arc multiplicity: properties and analysis R. Valette Proceddings of ICAPTN'94 LNCS volume 815 1994 Springer Verlag 179 198
12. A. Corradini Concurrent graph and term graph rewriting U. Montanari V. Sassone Proceedings of CONCUR'96 LNCS volume 1119 1996 Springer Verlag 438 464
13. A. Corradini, U. Montanari, and F. Rossi Graph processes Fundamenta Informaticae 26 1996 241 265
14. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations 1997 World Scientific
15. N. De Francesco, U. Montanari, and G. Ristori Modeling Concurrent Accesses to Shared Data via Petri Nets Programming Concepts, Methods and Calculi IFIP Transactions vol. A-56 1994 North Holland 403 422
16. C. Dufourd, A. Finkel, and Ph. Schnoebelen Reset nets between decidability and undecidability K.G. Larsen S. Skyum G. Winskel Proceddings of ICALP'98 LNCS volume 1443 1998 Springer Verlag 103 115
17. H. Ehrig Tutorial introduction to the algebraic approach of graph-grammars H. Ehrig M. Nagl G. Rozenberg A. Rosenfeld Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science LNCS volume 291 1987 Springer Verlag 3 14
18. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini Algebraic Approaches to Graph Transformation II: Single Pushout Approach and comparison with Double Pushout Approach G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations 1997 World Scientific
19. R. Janicki, and M. Koutny Semantics of inhibitor nets Information and Computation 123 1995 1 16
20. H.-J. Kreowski A comparison between Petri nets and graph grammars H. Noltemeier Proceedings of the Workshop on Graphtheoretic Concepts in Computer Science LNCS volume 100 1981 Springer Verlag 306 317
21. C. Lakos, and S. Christensen A general systematic approach to arc extensions for Coloured Petri Nets R. Valette Proceedings of ICAPTN'94 LNCS volume 815 1994 Springer Verlag 338 357
22. M. Löwe Algebraic approach to single-pushout graph transformation Theoretical Computer Science 109 1993 181 224
23. M. Löwe, M. Korff, and A. Wagner An Algebraic Framework for the Transformation of Attributed Graphs M.R. Sleep M.J. Plasmeijer M.C. van Eekelen Term Graph Rewriting: Theory and Practice 1993 Wiley London 185 199
24. U. Montanari, and F. Rossi Contextual occurrence nets and concurrent constraint programming H.-J. Schneider H. Ehrig Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science LNCS volume 776 1994 Springer Verlag
25. U. Montanari, and F. Rossi Contextual nets Acta Informatica 32 6 1995 545 596
26. J.L. Peterson Petri Net Theory and the Modelling of Systems 1981 Prentice-Hall
27. G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, Department of Computer Science - University of Pisa, 1994
28. W. Vogler Efficiency of asynchronous systems and read arcs in Petri nets Proceedings of ICALP'97 LNCS volume 1256 1997 Springer Verlag 538 548