The »Petri Net Baukasten«: An Overview
Pages 26 - 53
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.
References
[1]
J. Dehnert. The Common Base of the Petri Net Baukasten. In Weber et al. {WER99}, pages 211-229.
[2]
DFG-Forschergruppe PETRI NET TECHNOLOGY. Initial realization of the¿Petri Net Baukasten¿. Informatik-Berichte 129, Humboldt-Universität zu Berlin, October 1999.
[3]
W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation , 8, May 1991.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[12]
Hartmut Ehrig and Wolfgang Reisig. An algebraic view on Petri nets. Bulletin of the EATCS , 61:52-58, February 1997.
[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.
[14]
M. Gajewsky. The Expert View of the Petri Net Baukasten. In Weber et al. {WER99}, pages 243-265.
[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.
[16]
M. Gajewsky and C. Ermel. Transition Invariants in Algebraic High-Level Nets. In A. Ertas, editor, 4th World Conference on Integrated Design and Process Technology , 1999/2000. CD-ROM, 8 pages.
[17]
U. Hummert. Algebraische High-Level Netze . PhD thesis, Technische Universit ät Berlin, 1989.
[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.
[19]
Ekkart Kindler and Michael Weber. The Petri Net Kernel: An infrastructure for building Petri net tools. In Petri Nets '99. 20th International Conference on Application and Theory of Petri Nets. Petri Net Tool Presentations , Williamsburg, USA, June 1999.
[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 Weber et al. {WER99}, pages 231-241.
[22]
J. Lilius. On the Structure of High-Level Nets . PhD thesis, Helsinki University of Technology, Digital Systems Laoratory, Research Report 33, 1995.
[23]
S. Mac Lane. Categories for the Working Mathematician . Springer Verlag, Berlin Heidelberg New York, 1970.
[24]
J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation , 88(2):105-155, 1990.
[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.
[26]
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification . Springer Verlag, 1992.
[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 InternationalWorkshop,WADT'97, Tarquinia, Italy, June 1997, Selected Papers, Springer Verlag, Lecture Notes in Comp. Science 1376, 1998.
[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.
[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.
[31]
Julia Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACTS 66 , 1998.
[32]
J. Padberg. The Petri Net Baukasten: An Application-Oriented Petri Net Technology. In Weber et al. {WER99}, pages 191-209.
[33]
J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science , 5:217-256, 1995.
[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.
[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.
[36]
W. Reisig. Petri Nets , volume 4 of EATCS Monographs on Theoretical Computer Science . Springer Verlag, 1985.
[37]
W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science , 80:1-34, 1991.
[38]
K. Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze . PhD thesis, Humboldt-Universität zu Berlin, 1996.
[39]
E. Schnieder, editor. Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme . Studium Technik. Vieweg, 1999.
[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.
[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.
[42]
M.Weber. The Tool Developer View of the Petri Net Baukasten. InWeber et al. {WER99}, pages 267-277.
[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 Baukasten¿ . Fraunhofer Gesellschaft ISST, October 1999.
[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.
[45]
Workflow Management Coalition. Homepage of the Workflow Management Coalition. http://www.aiim.org/wfmc/mainframe.htm, 2000.
Recommendations
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri NetsWe show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism ...
Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach
EMS '13: Proceedings of the 2013 European Modelling SymposiumPetri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, ...
Improving the Usability of Petri Nets with the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri NetsAn enormously rich variety of Petri net concepts, techniques, and methods as well as various tools and tool environments has been developed to support the process-driven system development. But, system development under the use of Petri nets is still ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
January 2001
485 pages
ISBN:3540430679
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2001
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 19 Dec 2024