Skip to main content
SpringerLink
Log in
Book cover

Unifying Petri Nets pp 26–53Cite as

The ≫Petri Net Baukasten≪: An Overview

  • Chapter
  • First Online:

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

Abstract

This paper presents an overview of the ≫Petri Net Baukasten≪ developed by the “DFG-Forschergruppe Petrinetz-Technologie” in Berlin. The ≫Petri Net Baukasten≪ provides a unified presentation with different views on theory, application, and tools of Petri nets: The Expert View, the Application Developer View, and the Tool Developer View. All of these views are related to a Common Base, which comprises Petri net notions in a semiformal description. The relations establish so-called Petri net techniques given by a combination of Petri net types, corresponding methodological procedures, formalizations, and tools from the different views. The ≫Petri Net Baukasten≪ represents the Petri net techniques in a structured and application-oriented way, which yields an application oriented Petri net technology. It bridges the gap between theory, practice and tools for Petri nets. In this paper the basic concepts are summarized.

This work is part of the joint research project “DFG-Forschergruppe PetrinetzTechnologie” between H. Weber (Coordinator), H. Ehrig (both from the Technical University Berlin) and W. Reisig (Humboldt-Universität zu Berlin), supported by the German Research Council (DFG).

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. J. Dehnert. The Common Base of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 211–229.

    Google Scholar 

  2. DFG-Forschergruppe Petri Net Technology. Initial realization of the ≫Petri Net Baukasten≪. Informatik-Berichte 129, Humboldt-Universität zu Berlin, October 1999.

    Google Scholar 

  3. W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation, 8, May 1991.

    Google Scholar 

  4. J. Dehnert, M. Gajewsky, S. Lembke, and H. Weber. The Petri Net Baukasten: Second Installment. In Proceedings of ETAPS-UniGra. Elsevier, 2001. To Appear.

    Google Scholar 

  5. C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net properties of algebraic high-level nets. In Advances of Petri Nets. Springer Verlag, Lecture Notes in Comp. Science 524, 1991.

    Google Scholar 

  6. H. Ehrig, M. Gajewsky, and U. Wolter. From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms. In Proc. of Workshop on Algebraic Development Techniques, pages 1–17. Springer Verlag, Lecture Notes in Comp. Science 1376, 1998.

    Google Scholar 

  7. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361–404, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  8. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.

    MATH  Google Scholar 

  9. H. Ehrig, F. Orejas, and J. Padberg. Relevance, integration and classification of specification formalisms and formal specification techniques. In Proc. FORMS’99, Braunschweig, Germany, 1999.

    Google Scholar 

  10. H. Ehrig and J. Padberg. A Uniform Approach to Petri Nets. In Ch. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential-Theory-Cognition. Springer Verlag, Lecture Notes in Comp. Science 1337, 1997.

    Google Scholar 

  11. H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic High-Level Nets: Petri Nets Revisited. In Recent Trends in Data Type Specification, pages 188–206. Springer Verlag, Lecture Notes in Comp. Science 785, 1994.

    Google Scholar 

  12. Hartmut Ehrig and Wolfgang Reisig. An algebraic view on Petri nets. Bulletin of the EATCS, 61:52–58, February 1997.

    Google Scholar 

  13. C. Ermel and M. Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel. In H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets. Springer Verlag, Advances in Petri Nets, 2001. In this volume.

    Google Scholar 

  14. M. Gajewsky. The Expert View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 243–265.

    Google Scholar 

  15. J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95–146, January 1992.

    Google Scholar 

  16. M. Gajewsky and C. Ermel. Transition Invariants in Algebraic High-Level Nets. In A. Ertas, editor, 4 th World Conference on Integrated Design and Process Technology, 1999/2000. CD-ROM, 8 pages.

    Google Scholar 

  17. U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Universität Berlin, 1989.

    Google Scholar 

  18. K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, volume 3: Practical Use. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1997.

    Google Scholar 

  19. Ekkart Kindler and Michael Weber. The Petri Net Kernel: An infrastructure for building Petri net tools. In Petri Nets’ 99. 20 th International Conference on Application and Theory of Petri Nets. Petri Net Tool Presentations, Williamsburg, USA, June 1999.

    Google Scholar 

  20. Ekkart Kindler and Michael Weber. The Petri Net Kernel. Documentation of the Application Interface. PNK Version 2.0. Humboldt-Universität zu Berlin, Institut für Informatik, January 1999. http://www.informatik.hu-berlin.de/ kindler/PN-Kern/.

  21. S. Lembke. The Application Developer View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 231–241.

    Google Scholar 

  22. J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laoratory, Research Report 33, 1995.

    Google Scholar 

  23. S. MacLane. Categories for the Working Mathematician. Springer Verlag, Berlin Heidelberg New York, 1970.

    Google Scholar 

  24. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105–155, 1990.

    Article  MATH  MathSciNet  Google Scholar 

  25. T. Mochel, A. Oberweis, and V. Sänger. INCOME/STAR: The Petri net simulation concepts. Systems Analysis-Modelling-Simulation, Journal of Modelling and Simulation in Systems Analysis, 13:21–36, 1993.

    Google Scholar 

  26. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer Verlag, 1992.

    Google Scholar 

  27. A. Martini and U. Wolter. A systematic study of mappings between institutions. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, pages 300–315. 12th International Workshop, WADT’97, Tarquinia, Italy, June 1997, Selected Papers, Springer Verlag, Lecture Notes in Comp. Science 1376, 1998.

    Google Scholar 

  28. Incorporated Merriam-Webster. WWWebster Dictionary, 1999. http://www.m-w.com/dictionary.

  29. J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag, 1996.

    Google Scholar 

  30. J. Padberg. Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets. In Proc. WADT 98, pages 240–259. Springer Verlag, Lecture Notes in Comp. Science 1589, 1998.

    Google Scholar 

  31. Julia Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACTS 66, 1998.

    Google Scholar 

  32. J. Padberg. The Petri Net Baukasten: An Application-Oriented Petri Net Technology. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 191–209.

    Google Scholar 

  33. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217–256, 1995.

    MATH  MathSciNet  Google Scholar 

  34. J. Padberg, M. Gajewsky, and C. Ermel. Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In E. Astesiano, editor, Fundamental Approaches to Software Engineering, pages 221–238. Springer Verlag, Lecture Notes in Computer Science 1382, 1998.

    Chapter  Google Scholar 

  35. Julia Padberg, Kathrin Hoffmann, and Maike Gajewsky. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, pages 249–265. Springer Verlag, Lecture Notes in Comp. Science 1783, 2000.

    Google Scholar 

  36. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.

    Google Scholar 

  37. W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1–34, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  38. K. Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze. PhD thesis, Humboldt-Universität zu Berlin, 1996.

    Google Scholar 

  39. E. Schnieder, editor. Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme. Studium Technik. Vieweg, 1999.

    Google Scholar 

  40. J. Vautherin. Parallel System Specification with Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293–308. Springer Verlag, 1987. Lecture Notes in Computer Science 266.

    Google Scholar 

  41. van der Aalst, W., Desel, J., and Oberweis, A., editors. Business Process Management-Models, Techniques and Empirical Studies, Springer Verlag, Lecture Notes in Computer Science 1806, 2000.

    Google Scholar 

  42. M. Weber. The Tool Developer View of the Petri Net Baukasten. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 267–277.

    Google Scholar 

  43. H. Weber, H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukastens≪. Fraunhofer Gesellschaft ISST, October 1999.

    Google Scholar 

  44. H. Weber, S. Lembke, and A. Borusan. Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪. In H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets, Springer Verlag Advances in Petri Nets, 2001. In this volume.

    Google Scholar 

  45. Workflow Management Coalition. Homepage of the Workflow Management Coalition. http://www.aiim.org/wfmc/mainframe.htm, 2000.

Download references

Author information

Authors and Affiliations

  1. Institute for Communication and Software Technology, Technical University Berlin, Germany

    Meike Gajewsky & Hartmut Ehrig

Authors
  1. Meike Gajewsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany

    Hartmut Ehrig  & Julia Padberg  & 

  2. Katholische Universität Eichstätt, Ostenstr. 28, 85072, Eichstätt, Germany

    Gabriel Juhás

  3. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gajewsky, M., Ehrig, H. (2001). The ≫Petri Net Baukasten≪: An Overview. In: Ehrig, H., Padberg, J., Juhás, G., Rozenberg, G. (eds) Unifying Petri Nets. Lecture Notes in Computer Science, vol 2128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45541-8_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-45541-8_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43067-4

  • Online ISBN: 978-3-540-45541-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation