The following papers describe a number of projects which illustrate how CPN and the CPN tools can be used for many different purposes in the Workflow area. Most of the projects are conducted by PhD students.

• R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, P.J.M. Bakker: Augmenting a Workflow Management System with Planning Facilities using Colored Petri Nets. In K. Jensen (ed.): Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2008, Department of Computer Science, University of Aarhus, PB-588, 143-162.
• N. Russel1, A.H.M. ter Hofstede and W.M.P. van der Aalst: newYAWL: Specifying a Workflow Reference Language using Coloured. In K. Jensen (ed.): Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2007, Department of Computer Science, University of Aarhus, PB-584, 107-126.
• C. Bratosin, W. van der Aalst, and N. Sidorova: Modeling Grid Workflows with Colored Petri Nets. In K. Jensen (ed.): Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2007, Department of Computer Science, University of Aarhus, PB-584, 67-86.
• Discovering CPN models from Event Logs
  • A. Rozinat, R.S. Mans, M. Song and W.M.P. van der Aalst: Discovering Colored Petri Nets from Event Logs. In International Journal on Software Tools for Technology Transfer, 10(1), 2008, Springer-Verlag, 57-74.
  • A. Rozinat, R.S. Mans, and W.M.P. van der Aalst: Mining CPN Models: Discovering Process Models with Data from Event Logs In K. Jensen (ed.): Proceedings of the Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2006, Department of Computer Science, University of Aarhus, PB-579, 57-76.
• F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, H.M.W. Verbeek: Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes. In:
  • International Journal on Software Tools for Technology Transfer, 10(1), 2008, Springer-Verlag, 95-110.
  • K. Jensen (ed.): Proceedings of the Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2006, Department of Computer Science, University of Aarhus, PB-579, 137-156.
• M.H.Jansen-Vullers, H.A. Reijers: Business Process Redesign at a Mental Healthcare Institute: A Coloured Petri Net Approach. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 21-38.
• I. Vanderfeesten, W.M.P. van der Aalst, H. Reijers: Modelling a Product Based Workflow System in CPN Tools. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 99-118.
• M. Pesic, W.M.P. van der Aalst: Modeling Work Distribution Mechanisms Using Colored Petri Nets. In:
  • International Journal on Software Tools for Technology Transfer, 9(3-4), 2007, Springer-Verlag, 327-352.
  • Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 157-175.
• A.K. Alves de Medeiros, C.W. Gunther: Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 177-190.
• C.W. Gunther, W.M.P. van der Aalst: Modeling the Case Handling Principles with Colored Petri Nets. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 211-230.
• M. Netjes, W.M.P. van der Aalst, H. Reijers: Analysis of Resource-Constrained Processes with Colored Petri Nets. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 251-265.

This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between a given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study of a hospital care process. The process consists of hundreds of activities. These have been modeled and analyzed using an EUC and a CWN. Moreover, based on the CWN, the process has been implemented using four different workflow systems.

• R.S. Mans, W.M.P. van der Aalst, P.J.M. Bakker, A.J. Moleman, K.B. Lassen and J.B. Jørgensen: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems . In K. Jensen (ed.): Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2007, Department of Computer Science, University of Aarhus, PB-584, 187-206.

The following papers describe an approach, based on the construction of executable interactive prototypes, to support the validation of workflow requirements for the interaction between people. A case study from a real project is used to illustrate the proposed approach

• R.J. Machado, K.B. Lassen, S. Oliveira, M. Couto, P. Pinto: Requirements Validation: Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer, 9(3-4), 2007, Springer-Verlag, 353-369.

• R.J. Machado, K.B. Lassen, S. Oliveira, M. Couto, P. Pinto: Execution of UML Models with CPN Tools for Workflow Requirements Validation. Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2005, Department of Computer Science, University of Aarhus, PB-576, 231-250.

This paper describes the practical application of CP-nets to business process modeling in a sector of financial industry concerned with the "Clearing and settlement of capital market transactions" which deals with the transfer of financial assets between two parties. Two CPN models describe two alternative process designs. Simulation-based performance analysis is used to compare the performance characteristics of the two design alternatives.

• P.M. Kwantes: Design of Clearing and Settlement Operations: A Case Study in business Process Modelling and Evaluation with Petri Nets In K. Jensen (ed.): Proceedings of the Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2006, Department of Computer Science, University of Aarhus, PB-579, 217-236.

The following paper presents some of the results obtained by studying Petri nets' capability for modeling and analysis of Supply Chain performances. It is well known that the absence of coordination in Supply Chain management causes the so-called Bullwhip Effect, in which fluctuations in orders increase as they move up the chain. The model of the chain is developed using a timed, hierarchical coloured Petri Net. Simulation and performance analysis have been performed applying software package CPN Tools.

• D. M.-Nikolic, B. Panic, M. Vujosevic: Bullwhip Effect and Supply Chain Modelling and Analysis using CPN Tools In: K. Jensen (ed.): Proceedings of the Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2004, Department of Computer Science, University of Aarhus, PB-570, 219-234.