This paper reports on project in which CPN Tools is used to model and analyze the embedded system of digital document printer. Simulation is used to analyze the behavior and performance. The challenge in modeling is to create building blocks that enable flexibility in reconguration of architecture and design space exploration. CPN Tools and ProM (a process mining tool) are used to collect and analyze the simulation results. ProM can be used to monitor the real system and the simulated system making comparison easier.

- V. Kannan, W.M.P. van der Aalst, and M. Voorhoeve:
*Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers*. 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, 27-45.

The following paper describes how CP-nets were used to model and analyse the planning process for airplane arrivals in air traffic control. State space analysis is used repeatedly during each cycle of the planning process to generate and evaluate potential solutions to the sequence planning problem. Results obtained through state space queries are used as input for a simulation of the next planning cycle.

- Hendrik Oberheid:
*A Coloured Petri Net Model of Cooperative Arrival Planning in Air Traffic Control*In K. Jensen (ed.): Proceedings of the Seventh Worskhop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 2006, Department of Computer Science, University of Aarhus, PB-579, 177-196.

This paper reports on an exercise on constructing a visual animation layer for a behaviourally-intensive reactive system. The use cases and scenarios for a system under consideration are translated into a CPN model, which is subsequently complemented with animation-specific elements. The paper describes how CPN model can be structured to facilitate the animation process, and it present the supporting tools for creating the animation. The paper demonstrates that a CPN model complemented with a visual animation layer constitutes a solid basis for addressing behavioural issues in an early phase of the development process, namely during the validation task.

- Ó.R. Ribeiro and J.M. Fernandes:
*On the Use of Coloured Petri Nets for Visual Animation*. 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, 223-241.

Petri nets represent a convenient formalism for the description of the operational logic of internal agent components within agent-based architectures of simulation models. The ABAsim architecture (as an example) already utilizes place/transition nets for the description of internal components of agents. This paper presents a modified approach which uses non-hierarchical CP-nets for describing behavioural rules of autonomous agents.

- A. Kavicka and M. Zarnay:
*Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture*. 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, 47-62.

The banker's algorithm (BA) can be used to avoid deadlock in resource allocation systems (RAS) with non-sequential processes with flexible routing and use of resources of multiple types at once. This paper presents a modified version of the BA which has been implemented in CPN ML, and it illustrates how the algorithm can be used on a small example RAS which is a transportation system.

- M. Zarnay:
*Banker's Algorithm Implementation in CPN Tools*. 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, 123-142.

The following paper describes how CP-nets and the CPN tools were used to model and simulate the truck courier network of Shawmut National Corporation, which is the third largest bank in New England. The trucks feed the processing centres of the bank with checks from more than 300 branches located throughout Massachusetts, Connecticut, and Rhode Island. The objective of the modelling project was to optimise the truck delivery schedules so that checks are delivered just in time to keep the processing centres operating at maximum capacity. By using the CPN model, the bank reduced the number of trucks in the courier network and hence the cost of the overall operation.

- V.O. Pinci:
*The Shawmut Project*. In: Case Study Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago 1993.

The project is also described in Chapter 15 of:

- K. Jensen: Coloured Petri Nets.
*Basic Concepts, Analysis Methods and Practical Use. Volume 3, Practical Use*. Monographs in Theoretical Computer Science, Springer-Verlag, 1997. ISBN: 3-540-62867-3

The following paper describes how CP-nets and the CPN tools were used to model and improve a nuclear waste management programme in charge of the creation of a new system for permanent disposal of nuclear waste.

K.H. Mortensen, V.O. Pinci: *Modelling the Work Flow of a Nuclear Waste Management Program*. In: R. Valette (ed.): Application and Theory of Petri Nets 1994. Proceedings of the 15th International Petri Net Conference, Zaragoza 1994, Lecture Notes in Computer Science Vol. 815, Springer-Verlag 1994, 376-395.

The project is also described in Chapter 19 of:

- K. Jensen: Coloured Petri Nets.
*Basic Concepts, Analysis Methods and Practical Use. Volume 3, Practical Use*. Monographs in Theoretical Computer Science, Springer-Verlag, 1997. ISBN: 3-540-62867-3.

The following paper describes how CP-nets and the CPN tools were used to model an actor-based framework for time-dependent systems. The model allows both functional and time properties to be validated.

- L. Nigro, F. Pupo:
*Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints*. In: K. Jensen (ed.): Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus 1998, Department of Computer Science, University of Aarhus, PB-532, 271-285.

The following papers describe how CP-nets and the CPN tools were used to simulate biochemical processes. The purpose is to augment the knowledge about the control mechanisms of such processes in particular organisms. This knowledge can be helpful for the goal oriented design of drugs.

- H. Genrich, R. Küffner, K. Voss:
*Executable Petri Net Models for the Analysis of Metabolic Pathways*. International Journal on Software Tools for Technology Transfer, 3(4), 2001, Springer-Verlag, 394-404. - H. Genrich, R. Küffner, K. Voss:
*Executable Petri Net Models for the Analysis of Metabolic Pathways*. In: K. Jensen (ed.): Proceedings of the Workshop on Practical Use of High-level Petri Nets, Aarhus 2000, Department of Computer Science, University of Aarhus, PB-547, 1-14. - M. Heiner, I. Koch, K. Voss:
*Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets*. In: K. Jensen (ed.): Proceedings of the Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, August 2001, Department of Computer Science, University of Aarhus, PB-554, 15-34. - T. Runge:
*Application of Coloured Petri Nets in Systems Biology*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, 77-96.

The following papers describe how CP-nets can be used as a supplement with the Unified Modelling Language (UML). The ideas are illustrated with models and specifications of a healthcare system.

- J.B. Jørgensen.
*Coloured Petri Nets in UML-Based Software Development. Designing Middleware for Pervasive Healthcare*. In: K. Jensen (ed.): Proceedings of the Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, August 2002, Department of Computer Science, University of Aarhus, PB-560, 61-80. - J.B. Jørgensen, C. Bossen.
*Executable Use Cases for Pervasive Healthcare*. In: Daniel Moldt (Ed.): Proceedings of the Second Workshop on Modelling of Objects, Components and Agents, August 2002, Department of Computer Science, University of Aarhus, PB-561, 21-37.

The following paper presents initial work on modelling probabilistic inference using CPN. The development of Factor Graphs and their message passing algorithms provide a way of translating Bayesian Networks into CPN. The occurrence graph with the equivalence class tool is used to assist validating inference algorithms.

- S. V.-Anunchai, J. Billington:
*Modelling Probalistic Inference using Coloured Petri Nets and Factor Graphs*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, 117-136.