Timed resource allocation example

This is a small toy example which is well-suited as a first introduction to timed CP-nets. It shows how the CP-net from “Resource Allocation” can be turned into a timed CP-net. The time constructs are described in great detail, explaining the basic concepts of timed CP-nets.

The example is taken from Sect. 5.1 of Vol. 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\\TimedResourceAlloc.

The files are

• The net to load in CPN Tools
• A document describing the model