Abstract
Formal specification techniques like Petri nets allow for the formal description and analysis of systems. Tool support exists for many different Petri net classes for editing, simulating and analyzing formal models. A domain-specific animation of net behavior going beyond the well-known token game, however, is not yet supported in most cases. In this paper, we present a formal approach for the generic specification of animation views for different Petri net classes based on GenGED and graph transformation.
The GenGED approach, developed at the TU Berlin, allows for the generic description of visual modeling languages including different Petri net classes. In our framework, the animation view of a system modeled as a Petri net consists of a domain-specific visual layout and an animation view according to the firing behavior of the Petri net class. The basic idea is to generate visual animation rules based on visual syntax rules defining the corresponding Petri net language. We propose a view transformation from the classical Petri net layout to the animation layout. The well-known producer/consumer system modeled as an elementary Petri net serves as running example. We provide an animation view for the application domain kitchen where producing and consuming is visualized by icons for baking and eating cakes, respectively.
This work is supported by the joint research project “DFG-Forschergruppe Petri Net Technology” (H. Weber, Coordinator) at TU Berlin and HU Berlin and by the project Graphit (DLR, Germany/CNPq, Brazil).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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
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)
Bardohl, R., Ermel, C., Ribeiro, L.: Towards Visual Specification and Animation of Petri Net Based Models. In: Proc. GRATRA 2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, Technische Universität Berlin, pp. 22–31 (March 2000)
Bardohl, R., Niemann, M., Schwarze, M.: GENGED - A Development Environment for Visual Languages. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 233–240. Springer, Heidelberg (2000)
Bardohl, R., Schultzke, T., Taentzer, G.: Visual Language Parsing in GenGEd. Electronic Notes of Theoretical Computer Science, June 12-13, vol. 50(3) (2001)
Corradini, A., Montanari, U.: Specification of Concurrent Systems: From Petri Nets to Graph Grammars. In: Hommel, G. (ed.) Proc. Workshop on Quality of Communication-Based Systems, Berlin, Germany. Kluwer, Dordrecht (1995)
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1, ch. 4, pp. 247–312. World Scientific, Singapore (1997)
Ehrig, H., Reisig, W., Weber, H., et al.: Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 1–21. Springer, Heidelberg (2003)
Ehrig, K.: Converting XML Files with XSLT and XPath Student’s Project Status Report (2001), http://tfs.cs.tu-berlin.de/lehre/SS01/gragra.html
Ermel, C., Bardohl, R., Ehrig, H.: Specification and Implementation of Animation Views for Petri Nets. In: Weber, et al. (eds.) 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, Fraunhofer Gesellschaft ISST, pp. 75–92 (September 2001)
Ermel, C., Bardohl, R., Padberg, J.: Visual Design of Software Architecture and Evolution based on Graph Transformation. In: Int. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2001), at ETAPS 2001. Electronic Notes in Theoretical Computer Science, vol. 44(4) (2001)
Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2, pp. 551–603. World Scientific, Singapore (1999)
Griebel, P.: Paralleles Lösen von grafischen Constraints. PhD thesis, University of Paderborn, Germany (February 1996)
Korff, M., Ribeiro, L.: Formal Relationship between Graph Grammars and Petri nets. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 288–303. Springer, Heidelberg (1995)
Kreowski, H.-J.: A Comparison between Petri-nets and Graph Grammars. In: Noltemeier, H. (ed.) WG 1980. LNCS, vol. 100, pp. 11–19. Springer, Heidelberg (1981)
Löwe, M.: Algebraic Approach to Single-Pushout Graph Transformation. TCS 109, 181–224 (1993)
Parisi-Presicce, F., Ehrig, H., Montanari, U.: Graph Rewriting with Unification and Composition. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph Grammars 1986. LNCS, vol. 291, Springer, Heidelberg (1987)
Schneider, H.J.: 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, Williamsburg, Va., USA, pp. 7–12 (1994)
Weidauer, C.: Animations-Framework in Java. Systematische Animationsentwicklung mit Mehrschichtenarchitektur. Informatik - Forschung und Entwicklung, Band 15, Heft 2, pp. 83–91 (June 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ermel, C., Bardohl, R., Ehrig, H. (2003). Generation of Animation Views for Petri Nets in GenGED. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-40022-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20538-8
Online ISBN: 978-3-540-40022-6
eBook Packages: Springer Book Archive