Roswitha Bardohl, et al.  Home/Search
Context
Related
| tfs.cs.tuberlin.de/~pad...IDPT02.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/~padbe...year (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Specification techniques like Petri nets allow for the formal description and analysis of systems. Although tool support exists for many different Petri net classes and tasks, a domain-specific animation of net behavior, however, is not yet supported by many Petri net tools. (Update)
Active bibliography (related documents): More All
0.9: Specification and Implementation of Animation Views for.. - Ermel, Bardohl, Ehrig (Correct)
0.5: Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
0.4: Generic Description of Syntax, Behavior and Animation of.. - Bardohl, Ermel, Ehrig (2001) (Correct)
Similar documents based on text: More All
0.6: Transforming Specification Architectures by GenGED - Bardohl, Ermel, Padberg (2002) (Correct)
0.3: Preserving Liveness with Rule-Based Refinement . . . - Urbasek (2002) (Correct)
0.3: Heterogeneous Modular Systems - Orejas, Pino (2002) (Correct)
BibTeX entry: (Update)
@misc{ bardohl-formal,
author = "Roswitha Bardohl and et al.",
title = "Formal Relationship between Petri Nets And Graph Grammars as Basis for
Animation View in GenGED",
url = "citeseer.ist.psu.edu/bardohl02formal.html" }
Citations (may not include all citations):177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
64 Algebraic high-level net transformation systems (context) - Padberg, Ehrig et al. - 1995
41 Theoretical Computer Science (context) - Reisig, Algebraic - 1991
40 Algebraic Approach to Single-Pushout Graph Transformation (context) - Lowe - 1993
32 An Algebraic Framework for the Transformation of Attributed .. (context) - Lowe, Korff et al. - 1993
20 Algebraic Approaches to Graph Transformation II: Single Push.. (context) - Ehrig, Heckel et al. - 1997
12 Behaviour and Realization Construction for Petri Nets Based .. (context) - Ehrig, Padberg et al. - 1994
11 Parallel Specification with Coloured Petri Nets and Algebrai.. (context) - Vautherin - 1986
10 Formal Relationship between Graph Grammars and Petri nets (context) - Korff, Ribeiro - 1995
6 Specification of Concurrent Systems: From Petri Nets to Grap.. (context) - Corradini, Montanari - 1995
5 Colloquium on Petri Net Technologies for Modelling Communica.. (context) - Weber, Ehrig et al. - 2001
3 Behavior and Animation of Visual Models (context) - Bardohl, Ermel et al. - 2001
3 Graph Grammars as a Tool to Define the Behaviour of Process .. (context) - Schneider - 1994
3 Systematische Animationsentwicklung mit Mehrschichtenarchite.. (context) - Weidauer, Java - 2000
2 Electronic Notes of Theoretical Computer Science (context) - Bardohl, Schultzke et al. - 2001
1 GENGED -- Specifying Visual Environments based on Visual Lan.. (context) - Bardohl, Ehrig et al. - 2002
1 GENGED -- Visual Definition of Visual Languages based on Alg.. - Bardohl - 2000
1 Specification and Implementation of Animation Views for Petr.. - Ermel, Bardohl et al.
Documents on the same site (http://tfs.cs.tu-berlin.de/~padberg/year.html): More
Petri Net Based Components for Evolvable Architectures - Padberg (2000) (Correct)
Evolutionary Development Of Business Process Centered.. - Weber, Sünbül, Padberg (2000) (Correct)
Petri Net Modules in the Transformation-Based Component Framework - Padberg, Ehrig (2003) (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