Protos2CPN: using colored Petri nets for configuring and testing business processes

Protos is a popular tool for business process modelling used in more than 1,500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indicators for the modelled processes. Reference process models offered for Protos reduce modelling efforts by providing generic solutions which only need to be adapted to individual requirements. However, the user can neither inspect or interact with simulations running in Protos, nor does Protos provide any explicit support for the adaptation of reference models. Hence, we aim at a more open and configurable simulation solution. To realize this we provide two transformations from Protos models to colored Petri nets (CPNs), which can be executed by CPN Tools. The first transformation enables the usage of the extensive simulation and measuring features of CPN Tools for the simulation of Protos models. The second transformation creates colored Petri nets with dedicated features for process configuration. Such configurable process models can be restricted directly within the process model without changing the model’s structure and provide therefore dedicated adaptation features for Protos’ reference process models.

[1]  George M. Giaglis,et al.  Simulation of Business Processes , 1999 .

[2]  Ansgar Schwegmann.  Objektorientierte Referenzmodellierung: theoretische Grundlagen und praktische Anwendung , 1999 .

[3]  Wil M.P. van der Aalst,et al.  Configurable Process Models — A Foundational Approach , 2007 .

[4]  Wil M. P. van der Aalst,et al.  A configurable reference modelling language , 2007, Inf. Syst..

[5]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[6]  Mogens Nielsen,et al.  Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings , 2000, ICATPN.

[7]  Jan vom Brocke,et al.  Konstruktionstechniken für die Referenzmodellierung - Systematisierung, Sprachgestaltung und Werkzeugunterstützung , 2004, Referenzmodellierung.

[8]  Wil M. P. van der Aalst,et al.  Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..

[9]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[10]  Patrick McDermott,et al.  Workflow Modeling: Tools for Process Improvement and Application Development , 2001 .

[11]  Wil M. P. van der Aalst,et al.  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool , 2000, ICATPN.

[12]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[13]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[14]  Wil M. P. van der Aalst,et al.  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management , 2003, Lectures on Concurrency and Petri Nets.

[15]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[16]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[17]  Peter Loos,et al.  Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective , 2005, Business Process Management.

[18]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[19]  Hajo A. Reijers,et al.  Protos 7.0: Simulation Made Accessible , 2005, ICATPN.

[20]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[21]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[22]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[23]  Wil M. P. van der Aalst,et al.  Configurable Process Models as a Basis for Reference Modeling , 2005, Business Process Management Workshops.

[24]  Reinhard Schütte,et al.  Grundsätze ordnungsmäßiger Referenzmodellierung , 1998 .

[25]  Jörg Becker,et al.  Konstruktion von Referenzmodellierungssprachen Ein Ordnungsrahmen zur Spezifikation von Adaptionsmechanismen für Informationsmodelle , 2004, Wirtschaftsinf..

[26]  Jörg Becker,et al.  Configurative Process Modeling - Outlining an Approach to Increased Business Process Model Usability , 2004 .

[27]  T. Curran,et al.  SAP R/3 Business Blueprint: Understanding the Business Process Reference Model , 1997 .

[28]  Christoph Bussler,et al.  Business Process Management Workshops: BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised ... Papers (Lecture Notes in Computer Science) , 2006 .