Skip to main content
SpringerLink
Log in
Book cover

Petri Net Technology for Communication-Based Systems pp 83–108Cite as

Generation of Animation Views for Petri Nets in GenGED

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2472))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Bardohl, R., Schultzke, T., Taentzer, G.: Visual Language Parsing in GenGEd. Electronic Notes of Theoretical Computer Science, June 12-13, vol. 50(3) (2001)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. Ehrig, H., Reisig, W., Weber, H., et al.: Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 1–21. Springer, Heidelberg (2003)

    Google Scholar 

  12. 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

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Griebel, P.: Paralleles Lösen von grafischen Constraints. PhD thesis, University of Paderborn, Germany (February 1996)

    Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. 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)

    Google Scholar 

  19. Löwe, M.: Algebraic Approach to Single-Pushout Graph Transformation. TCS 109, 181–224 (1993)

    Article  MATH  Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Weidauer, C.: Animations-Framework in Java. Systematische Animationsentwicklung mit Mehrschichtenarchitektur. Informatik - Forschung und Entwicklung, Band 15, Heft 2, pp. 83–91 (June 2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Theoretische Informatik und Softwaretechnik, Technische Universität Berlin,  

    Claudia Ermel, Roswitha Bardohl & Hartmut Ehrig

Authors
  1. Claudia Ermel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roswitha Bardohl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation