Generation of animation views for petri nets in GenGED

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

Volumn 2472, Issue , 2003, Pages 83-108

  Ermel, Claudia ^a   Bardohl, Roswitha ^a   Ehrig, Hartmut ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346895287     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_5     Document Type: Article

References (22)

1. R. Bardohl. GenGEd-Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000. PhD thesis, Technical University of Berlin, Dept. of Computer Science, 1999. 84, 87
2. R. Bardohl, H. Ehrig, and C. Ermel. Generic Description, Behaviour and Animation of Visual Modeling Languages. In Proc. Integrated Design and Process Technology (IDPT 2000), Dallas (Texas), USA, June 2000. 84, 95
3. R. Bardohl and C. Ermel. Visual Specification and Parsing of a Statechart Variant using GenGEd. In Proc. Symposium on Visual Languages and Formal Methods (VLFM'01), Stresa, Italy, September 5-7 2001. 84
4. R. Bardohl, C. Ermel, and H. Ehrig. Generic Description of Syntax, Behavior and Animation of Visual Models. TR 2001/19, TU Berlin, 2001. ISSN 1436-9915. 84, 91, 95
5. R. Bardohl, C. Ermel, and J. Padberg. Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED. In Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology, 2002. To appear. 85, 103
6. R. Bardohl, C. Ermel, and L. Ribeiro. Towards Visual Specification and Animation of Petri Net Based Models. In Proc. GRATRA 2000-Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pages 22-31. Technische Universität Berlin, March 2000. 84
7. R. Bardohl, M. Niemann, and M. Schwarze. GenGEd-A Development Environment for Visual Languages. In Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), LNCS 1779, pages 233-240. Springer, 2000. 84
8. R. Bardohl, T. Schultzke, and G. Taentzer. Visual Language Parsing in GenGEd. Electronic Notes of Theoretical Computer Science, Vol. 50, No. 3, June 12-13 2001. 84
9. A. Corradini and U. Montanari. Specification of Concurrent Systems: From Petri Nets to Graph Grammars. In G. Hommel, editor, Proc. Workshop on Quality of Communication-Based Systems, Berlin, Germany. Kluwer, 1995. 85
10. 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. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, chapter 4, pages 247-312. World Scientific, 1997. 89
11. H. Ehrig, W. Reisig, and H. Weber et al. The Petri Net Baukasten of the DFGForschergruppe PETRI NET TECHNOLOGY. In this Volume. 106
12. K. Ehrig. Converting XML Files with XSLT and XPath, http://tfs.cs.tu- berlin.de/lehre/SS01/gragra.html, 2001. Student's Project Status Report. 106
13. C. Ermel, R. Bardohl, and H. Ehrig. Specification and Implementation of Animation Views for Petri Nets. In Weber et al., editors. 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, Sept. 2001. Fraunhofer Gesellschaft ISST, pages 75-92. 84, 106
14. C. Ermel, R. Bardohl, and J. Padberg. Visual Design of Software Architecture and Evolution based on Graph Transformation. In Int. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'01), at ETAPS'01, 2001. Electronic Notes in Theoretical Computer Science, Vol. 44, No. 4. 91
15. C. Ermel, M. Rudolf, and G. Taentzer. The AGG-Approach: Language and Tool Environment. In 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, pages 551-603. World Scientific, 1999. 84, 101
16. P. Griebel. Paralleles Lösen von grafischen Constraints. PhD thesis, University of Paderborn, Germany, February 1996. 84, 101
17. M. Korff and L. Ribeiro. Formal Relationship between Graph Grammars and Petri nets. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, LNCS 1073, pages 288-303. Springer, 1995. 85
18. H.-J. Kreowski. A Comparison between Petri-nets and Graph Grammars. In LNCS 100, pages 1-19. Springer Verlag, 1981. 94
19. M. Löwe. Algebraic Approach to Single-Pushout Graph Transformation. TCS, 109:181-224, 1993. 87, 89
20. F. Parisi-Presicce, H. Ehrig, and U. Montanari. Graph Rewriting with Unification and Composition. In 3rd Int. Workshop on Graph Grammars and their Application to Computer Science, LNCS 291, Berlin, 1987. Springer Verlag. 95
21. H. J. Schneider. Graph Grammars as a Tool to Define the Behaviour of Process Systems: From Petri Nets to Linda. In Proc. Fifth International Workshop on Graph Grammars and their Application to Computer Science, pages 7-12, Williamsburg, Va., USA, 1994. 94
22. C. Weidauer. Animations-Framework in Java. Systematische Animationsentwicklung mit Mehrschichtenarchitektur. Informatik-Forschung und Entwicklung, Band 15, Heft 2, pages 83-91, June 2000. 100