The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

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.

[1]  Jörg Becker,et al.  Colloquium on Petri Net Technologies for Modeling Communication Based Systems , 1999 .

[2]  Miguel Alexandre Wermelinger.  Specification of software architecture reconfiguration , 1999 .

[3]  Michel Wermelinger,et al.  Algebraic software architecture reconfiguration , 1999, ESEC/FSE-7.

[4]  Geert-Jan Houben,et al.  Modeling workflow management systems with high-level Petri nets , 1994 .

[5]  A. Ferscha.  Qualitative and quantitative analysis of business workflows using generalized stochastic Petri nets , 1995 .

[6]  Reiko Heckel,et al.  Open Petri Nets as Semantic Model for Workflow Integration , 2003, Petri Net Technology for Communication-Based Systems.

[7]  Armin Zimmermann,et al.  Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets , 2000 .

[8]  Hartmut Ehrig,et al.  Unifying Petri Nets , 2001, Lecture Notes in Computer Science.

[9]  Claudia Ermel,et al.  Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten« , 2001, Unifying Petri Nets.

[10]  Francesco Parisi-Presicce,et al.  A Formal Framework for Petri Net Class Transformations , 2003, Petri Net Technology for Communication-Based Systems.

[11]  Ekkart Kindler,et al.  The Petri Net Kernel , 2003, Petri Net Technology for Communication-Based Systems.

[12]  Milan Urbásek,et al.  Rule-Based Refinement of Petri Nets: A Survey , 2003, Petri Net Technology for Communication-Based Systems.

[13]  Hartmut Ehrig,et al.  Generation of Animation Views for Petri Nets in GenGED , 2003, Petri Net Technology for Communication-Based Systems.

[14]  Juliane Dehnert,et al.  Four Steps Towards Sound Business Process Models , 2003, Petri Net Technology for Communication-Based Systems.

[15]  Hartmut Ehrig,et al.  Petri Net Transformations in the "Petri Net Baukasten" , 2003, Petri Net Technology for Communication-Based Systems.

[16]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[17]  Herbert Weber,et al.  Improving the Usability of Petri Nets with the »Petri Net Baukasten« , 2001, Unifying Petri Nets.

[18]  The Tool Developer View of the Petri Net Baukasten , 1999 .

[19]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.