An introduction to systems modeling and simulation with Colored Petri Nets

Petri Nets provide a graphical notation for modeling systems and performing analysis. Colored Petri Nets (CPNs) combine the strengths of ordinary Petri Nets with a high level programming language, making them more suitable for modeling large systems. A CPN model is an executable representation of a system that can be analyzed through simulation. CPN models are built using CPN Tools, a graphical software tool and interface used to create, edit, simulate, and analyze models. This tutorial is meant to introduce the reader to the vocabulary and constructs of CPNs and illustrate the use of CPN Tools in creating and simulating models by means of a familiar, simple example. In particular, we show how to create a CPN model of the call center example presented by White and Ingalls in their tutorial Introduction to Simulation.