Timed Resource Allocation
Example Nets


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.

Timed Resource Allocation

The example is taken from Sect. 5.1 of Vol. 2 of the CPN book and Sect. 6.2 of Vol. 1 of the CPN book. For more information on the CPN books please look at: http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html

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

The files are