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).
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
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.
DFG-Forschergruppe Petri Net Technology. Initial realization of the ≫Petri Net Baukasten≪. Informatik-Berichte 129, Humboldt-Universität zu Berlin, October 1999.
W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation, 8, May 1991.
J. Dehnert, M. Gajewsky, S. Lembke, and H. Weber. The Petri Net Baukasten: Second Installment. In Proceedings of ETAPS-UniGra. Elsevier, 2001. To Appear.
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.
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.
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.
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.
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.
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.
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.
Hartmut Ehrig and Wolfgang Reisig. An algebraic view on Petri nets. Bulletin of the EATCS, 61:52–58, February 1997.
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.
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.
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.
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.
U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Universität Berlin, 1989.
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.
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.
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/.
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.
J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laoratory, Research Report 33, 1995.
S. MacLane. Categories for the Working Mathematician. Springer Verlag, Berlin Heidelberg New York, 1970.
J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105–155, 1990.
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.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer Verlag, 1992.
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.
Incorporated Merriam-Webster. WWWebster Dictionary, 1999. http://www.m-w.com/dictionary.
J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag, 1996.
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.
Julia Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACTS 66, 1998.
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.
J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217–256, 1995.
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.
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.
W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1–34, 1991.
K. Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze. PhD thesis, Humboldt-Universität zu Berlin, 1996.
E. Schnieder, editor. Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme. Studium Technik. Vieweg, 1999.
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.
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.
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.
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.
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.
Workflow Management Coalition. Homepage of the Workflow Management Coalition. http://www.aiim.org/wfmc/mainframe.htm, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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