Resource allocation example

This is a small toy example, which is well suited as a first introduction to CP-nets. The CPN model is described in great detail, explaining the basic concepts of CP-nets. Hence, it can be read by people with no/little Petri net background. The CPN model describes how two different kinds of processes are sharing three different kinds of resources. It is simple to understand and easy to simulate/modify.

Screenshot of the net

The example is taken from Sect. 1.2 of
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Monographs on Theoretical Computer Science, vol. 1:Basic Concepts. Springer-Verlag, Berlin (1997).

The files for this net can be found in a subdir of cpntools called Samples\\ResourceAllocation.

The files are