Advertisement

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

  • H. Weber
  • H. Ehrig
  • W. Reisig
  • A. Borusan
  • S. Lembke
  • J. Dehnert
  • M. Weber
  • A. Martens
  • J. Padberg
  • C. Ermel
  • A. Qemali
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2472)

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.

Keywords

Petri Nets Petri Net Technology 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Braatz, B., Ehrig, H., Urbasek, M.: Petri Net Transformation in the Petri Net Baukasten. In: Ehrig et al. [10] (to appear)Google Scholar
  4. 4.
    Dehnert, J.: The Common Base of the Petri Net Baukasten. In: Weber et al. [18], pp. 211–229Google Scholar
  5. 5.
    Dehnert, J.: Four Steps Towards Sound Process Models. In: Ehrig et al. [10] (to appear)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    DFG-Forschergruppe Petri Net Technology. Initial realization of the ≫Petri Net Baukasten≪. Informatik-Berichte 129, Humboldt-Universität zu Berlin (October 1999) Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, Springer, Heidelberg (2001)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Ermel, C., Bardohl, R., Ehrig, H.: Generation of Animation Views for Petri Nets in GENGED. In: Ehrig et al. [10] (to appear)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Heckel, R.: Open Petri Nets as Semantic Model for Workflow Integration. In: Ehrig et al. [10] (to appear)Google Scholar
  15. 15.
    Lembke, S.: The Application Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 231–241Google Scholar
  16. 16.
    Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig et al. [10] (to appear)Google Scholar
  17. 17.
    Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Ehrig et al. [10] (to appear)Google Scholar
  18. 18.
    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) Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    Weber, H., Kindler, E.: The Petri Net Kernel. In: Ehrig et al. [10] (to appear)Google Scholar
  21. 21.
    Weber, H., Kindler, E.: The Petri Net Markup Language. In: Ehrig et al. [10] (to appear)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar
  23. 23.
    Weber, H., Lembke, S., Borusan, A.: Improving the Usability of Petri Nets with the Petri Net Baukasten. In: Ehrig et al. [9], pp. 54–78Google Scholar
  24. 24.
    Weber, M.: The Tool Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 267–277Google Scholar
  25. 25.
    Wermelinger, M.: Specification of Software Architecture Reconfiguration. PhD thesis, Universidade Nova de Lisboa (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • H. Weber
    • 1
  • H. Ehrig
    • 1
  • W. Reisig
    • 2
  • A. Borusan
    • 1
  • S. Lembke
    • 1
  • J. Dehnert
    • 1
  • M. Weber
    • 2
  • A. Martens
    • 2
  • J. Padberg
    • 1
  • C. Ermel
    • 1
  • A. Qemali
    • 1
  1. 1.Technical University of Berlin 
  2. 2.Humboldt University of Berlin 

Personalised recommendations