R. Bardohl, C. Ermel, L. Ribeiro  Home/Search
Context Related
| tfs.cs.tuberlin.de/...gratra2000.ps.gz tfs.cs.tuberlin.d...R00_GraTra00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tfs.cs.tuberlin.de/~petri/...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Visual graph and net based modeling techniques are of growing interest for software specification and development. The GenGEd approach developed at the TU Berlin allows already the generic description of visual modeling languages. In this paper, the GenGEd approach is reviewed and extended in order to support the description of dynamic behavior and animation of Petri net based models. The basic idea is to define visual behavior and animation rules on top of the rules defining the corresponding... (Update)
Context of citations to this paper: More
.... modeling languages, including at least simplified versions of UML class diagrams, statecharts, Nassi Shneiderman diagrams and Petri nets [1, 2, 5]. The corresponding visual environment [1, 3] supports the generic description of VLs and the generation of graphical editors for...
.... statecharts, Nassi Shneiderman diagrams and Petri nets [3, 15, 5] The GenGEd approach is supported by the tool environment GenGEd [1, 2]. This environment supports the generic specification of a visual language and the generation of a graphical editor for the specified...
Cited by: More
Generic Description, Behavior and Animation of Visual.. - Bardohl, Ehrig, Ermel (2000) (Correct)
Generic Description, Behavior And Animation Of Visual.. - Bardohl, Ehrig, Ermel (Correct)
Similar documents (at the sentence level):
5.6%: Generic Description of Syntax, Behavior and Animation of.. - Bardohl, Ermel, Ehrig (2001) (Correct)
Active bibliography (related documents): More All
0.5: The Petri Net Kernel - Kindler, Weber (1998) (Correct)
0.3: Modelling a Sociological Case Study - Köhler, Moldt, Rölke (Correct)
0.3: Performance Analysis using Coloured Petri Nets - Wells (1999) (Correct)
Similar documents based on text: More All
0.9: Specification and Implementation of Animation Views for.. - Ermel, Bardohl, Ehrig (Correct)
0.7: On the Generalized Dining Philosophers Problem - Herescu, Palamidessi (2001) (Correct)
0.6: Towards a Compositional Approach to Define Graphical.. - Bardohl, Ribeiro (Correct)
Related documents from co-citation: More All
2: STATEMATE: A working environment for the development of complex reactive systems - Harel, Lachover et al. - 1990
2: Net processes correspond to derivation processes in graph grammars (context) - Kreowski, Wilharm - 1987
2: Meta Software Cooperation (context) - Jensen, Christensen et al. - 1991
BibTeX entry: (Update)
R. Bardohl, C. Ermel, and L. Ribeiro. Towards Visual Specification and Animation of Petri Net Based Models. In Proc. Joint APPLIGRAPGH/GETGRATS Workshop on Graph Transformation, Berlin, Germany, April 2000. http://citeseer.ist.psu.edu/bardohl00towards.html More
@inproceedings{ bardohl00towards,
author = "R. Bardohl and C. Ermel and L. Ribeiro",
title = "Towards Visual Specification and Animation of Petri Net Based Models",
booktitle = "Proc. Joint APPLIGRAPGH/GETGRATS
Workshop on Graph Transformation, Berlin, Germany",
month = apr,
year = "2000",
url = "citeseer.ist.psu.edu/bardohl00towards.html" }
Citations (may not include all citations):177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
87 volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig - 1985
64 Algebraic High-Level Net Transformation Systems (context) - Padberg, Ehrig et al. - 1995
59 Graph Grammars with Negative Application Conditions - Habel, Heckel et al. - 1996
38 Application of Graph Transformation to Visual Languages - Bardohl, Taentzer et al. - 1999
19 The AGG-approach: Language and Tool Environment (context) - Taentzer, Ermel et al. - 1999
10 Formal Relationship between Graph Grammars and Petri Nets (context) - Korff, Ribeiro - 1995
7 Meta Software Cooperation (context) - Jensen, Christensen et al. - 1991
6 Visual Definition of Visual Languages based on Algebraic Gra.. (context) - Bardohl - 2000
6 Mathematisch strukturelle Grundlagen der Informatik (context) - Ehrig, Mahr et al. - 1998
4 GenGEd: A Development Environment for Visual Languages (context) - Bardohl, Niemann et al. - 1999
3 Renew - User Guide - Kummer, Wienberg et al. - 1999
2 Der PetrinetzKern: Dokumentation der Anwendungs-Schnittstell.. (context) - Hauptmann, Hohberg et al. - 1998
2 Tool-Based Specification of Visual Languages and Graphical E.. (context) - Niemann, Bardohl - 2000
2 Paralleles Losen von grafischen Constraints (context) - Griebel - 1996
1 Behavior and Animation of Visual Modeling Languages (context) - Bardohl, Ehrig et al. - 2000
1 Generierung eines graphischen Editors fur Algebraische High-.. (context) - Ermel - 1998
Documents on the same site (http://tfs.cs.tu-berlin.de/~petri/Allpublications/Year2000/all.html):
Transition Invariants in Algebraic High-Level Nets - Gajewsky, Ermel (1999) (Correct)
Stepwise Introduction and Preservation of Safety.. - Padberg, Hoffmann.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC