Graph grammars and Petri net transformations

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

Volumn 3098, Issue , 2004, Pages 496-536

  Ehrig, Hartmut ^a   Padberg, Julia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; SEMANTICS;

DEVELOPMENT STAGES; GRAPH GRAMMAR; GRAPH GRAMMARS AND PETRI NET TRANSFORMATIONS; GRAPH TRANSFORMATION; NET STRUCTURES; PETRI NET TRANSFORMATIONS; RULE-BASED APPROACH;

PETRI NETS;

EID: 14944339177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_14     Document Type: Article

References (36)

1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg.
2. P. Baldan. Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa, 2000.
3. P. Baldan, A. Corradini, U. Montanari, F. Rossi, H. Ehrig, and M. Löwe. Concurrent Semantics of Algebraic Graph Transformations. In G. Rozenberg, editor, The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 1999.
4. R. Bardohl and C. Ermel. Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets. In G. Juhas and J. Desel, editors, Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), 2003.
5. G. Berthelot. Checking properties of nets using transformations. Advances in Petri Nets 1985, Lecture Notes in Computer Science 222: pages 19-40. Springer 1986.
6. G. Berthelot. Transformations and decompositions of nets. In Brauer, W., Reisig, W., and Rozenberg, G., editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets, Lecture Notes in Computer Science 254, pages 359-376. Springer, 1987.
7. R. David and H. Alla, editors. Petri Nets and Grafcet Prentice Hall (UK), 1992.
8. C. Ermel, R. Bardohl, and H. Ehrig. Specification and implementation of animation views for Petri nets. In DFG Research Group Petri Net Technology, Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 2001.
9. C. Ermel, R. Bardohl, and H. Ehrig. Generation of animation views for Petri nets in GENGED. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems, Lecture Notes in Computer Science 2472. Springer, 2003.
10. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
11. H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-level replacement systems with applications to algebraic apecifications and Petri nets, chapter 6, pages 341-400. Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computing by Graph Transformations. World Scientific, 1999.
12. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361-404, 1991.
13. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361-404, 1991.
14. H. Ehrig. Introduction to the algebraic theory of graph grammars (A survey). In Graph Grammars and their Application to Computer Science and Biology, pages 1-69. Lecture Notes in Computer Science 73. Springer, 1979.
15. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 1999.
16. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
17. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167-180. IEEE, 1973.
18. GenGED Homepage, http://tfs.cs.tu-berlin.de/genged.
19. K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN. A Reference Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA, 1991.
20. K. Jensen. Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1992.
21. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 2: Analysis Methods. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1994.
22. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 3: Practical Use. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1997.
23. E. Kindler and M. Weber. The Petri net kernel - an infrastructure for building Petri net tools. Software Tools for Technology Transfer, 3(4):486-497, 2001.
24. S. Lack and P. Sobociski. Adhesive categories. In Proc. FOSSACS 04, 2004. to appear.
25. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105-155, 1990.
26. J. Padberg. Survey of high-level replacement systems. Technical Report 93-8, Technical University of Berlin, 1993.
27. J. Padberg. Categorical approach to horizontal structuring and refinement of high-level replacement systems. Applied Categorical Structures, 7(4):371-403, December 1999.
28. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995.
29. J. Padberg and M. Urbášek. Rule-based refinement of Petri nets: A survey. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems, Lecture Notes in Computer Science 2472. Springer, 2003.
30. W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1-34, 1991.
31. L. Ribeiro, H. Ehrig, and J. Padberg. Formal development of concurrent systems using algebraic high-level nets and transformations. In Proc. VII Simpósio Brasileiro de Engenharia de Software, pages 1-16, Tech-report no. 93-13, TU Berlin, 1993.
32. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
33. Vanio M. Savi and Xiaolan Xie. Liveness and boundedness analysis for petri nets with event graph modules. In Jensen, K., editor, 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, Lecture Notes in Computer Science 616, pages 328-347. Springer, 1992.
34. J. Vautherin. Parallel system specification with coloured Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293-308. Lecture Notes in Computer Science 266. Springer Verlag, 1987.
35. W.M.P. van der Aalst. Verification of workflow nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, pages 407-426. Springer, 1997.
36. G. Winskel. Petri nets, algebras, morphisms, and compositionality. Information and Computation, 72:197-238, 1987.