Resource Allocation
Example Nets


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 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\ResourceAllocation.

The files are