Generation of Animation Views for Petri Nets in GenGED-Reference-Cited by-同舟云学术

Generation of Animation Views for Petri Nets in GenGED

Published:2003 Issue: Volume: Page:83-108
ISSN:0302-9743
Container-title:Petri Net Technology for Communication-Based Systems
language:
Short-container-title:

Author:

Ermel Claudia,Bardohl Roswitha,Ehrig Hartmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40022-6_5

Reference22 articles.

1. Bardohl, R.: 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)

2. Bardohl, R., Ehrig, H., Ermel, C.: Generic Description, Behaviour and Animation of Visual Modeling Languages. In: Proc. Integrated Design and Process Technology (IDPT 2000), Dallas (Texas), USA (June 2000)

3. Bardohl, R., Ermel, C.: Visual Specification and Parsing of a Statechart Variant using GenGEd. In: Proc. Symposium on Visual Languages and Formal Methods (VLFM 2001), Stresa, Italy, September 5–7 (2001)

4. Bardohl, R., Ermel, C., Ehrig, H.: Generic Description of Syntax, Behavior and Animation of Visual Models. TR 2001/19, TU Berlin (2001) ISSN 1436-9915

5. Bardohl, R., Ermel, C., Padberg, J.: 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)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Graph Grammars and Petri Net Transformations;Lectures on Concurrency and Petri Nets;2004

2. Automated Model Transformation and Its Validation Using AToM3 and AGG;Diagrammatic Representation and Inference;2004

3. Workshop on Petri Nets and Graph Transformations;Lecture Notes in Computer Science;2004

4. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY;Petri Net Technology for Communication-Based Systems;2003