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
The files are