Abstract
In the long history of Petri nets a universe of Petri nets has evolved consisting of an enormously rich theory, a wide variety of tools, and numerous successful applications and case studies in various application domains. This vast variety is not any more handable for anyone working with Petri nets, which results in the strong need of a structured access to Petri nets. This structured access has been the main aim of the DFG-Forschergruppe PETRI NET TECHNOLOGY, which has developed the so-called Petri Net Baukasten for this purpose. It is designed to support Petri net experts, application developers and tool developers alike in their specific work with Petri nets. This paper presents an overview of the concepts, initial and 2nd installment of the Petri Net Baukasten, which have been presented at the 1st and 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems in 1999 and 2001, respectively.
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.
References
van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level Petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Petri nets and related formalism, second Workshop on Computer-Supported Cooperative Work, pp. 31–50 (1994)
Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems 10, 131–158 (1998)
Braatz, B., Ehrig, H., Urbasek, M.: Petri Net Transformation in the Petri Net Baukasten. In: Ehrig et al. [10] (to appear)
Dehnert, J.: The Common Base of the Petri Net Baukasten. In: Weber et al. [18], pp. 211–229
Dehnert, J.: Four Steps Towards Sound Process Models. In: Ehrig et al. [10] (to appear)
Dehnert, J., Freiheit, A., Zimmermann, A.: Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets. In: Bringing Knowledge to Business Processes, Workshop in the American Association for Artificial Intelligence (AAAI) Spring Symposium Series 2000 (2000) (accepted as poster)
DFG-Forschergruppe Petri Net Technology. Initial realization of the ≫Petri Net Baukasten≪. Informatik-Berichte 129, Humboldt-Universität zu Berlin (October 1999)
Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. In: Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computing by Graph Transformations, ch. 6, pp. 341–400. World Scientific, Singapore (1999)
Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, Springer, Heidelberg (2001)
Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems. LNCS. Springer, Heidelberg (2002) (to appear)
Ermel, C., Bardohl, R., Ehrig, H.: Generation of Animation Views for Petri Nets in GENGED. In: Ehrig et al. [10] (to appear)
Ermel, C., Weber, M.: Implementation of Parametrized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, p. 79. Springer, Heidelberg (2001)
Ferscha, A.: Qualitative and quantitative analysis of business workflows using generalized stochastic petri net. In: Chroust, G., Benczu, A. (eds.) CON 1994: Workflow Management - Challenges, Paradigms and Products, pp. 222–234. Oldenbourg Verlag, Munchen (1994)
Heckel, R.: Open Petri Nets as Semantic Model for Workflow Integration. In: Ehrig et al. [10] (to appear)
Lembke, S.: The Application Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 231–241
Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig et al. [10] (to appear)
Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Ehrig et al. [10] (to appear)
Weber, H. Ehrig, H. Reisig, W. (eds.): Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The ≫Petri Net Baukasten≪. Fraunhofer Gesellschaft ISST (October 1999)
Weber, H., Ehrig, H., Reisig, W. (eds.): 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Research Group ≫Petri Net Technology≪, Fraunhofer Gesellschaft ISST, Berlin, Germany (2001)
Weber, H., Kindler, E.: The Petri Net Kernel. In: Ehrig et al. [10] (to appear)
Weber, H., Kindler, E.: The Petri Net Markup Language. In: Ehrig et al. [10] (to appear)
Weber, H., Lembke, S., Borusan, A.: Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, p. 54. Springer, Heidelberg (2001) (to appear)
Weber, H., Lembke, S., Borusan, A.: Improving the Usability of Petri Nets with the Petri Net Baukasten. In: Ehrig et al. [9], pp. 54–78
Weber, M.: The Tool Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 267–277
Wermelinger, M.: Specification of Software Architecture Reconfiguration. PhD thesis, Universidade Nova de Lisboa (1999)
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
Weber, H. et al. (2003). The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. 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_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-40022-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20538-8
Online ISBN: 978-3-540-40022-6
eBook Packages: Springer Book Archive