Resource Allocation. | CPN Tools help |
Example Nets |
The CPN model describes how two different kinds of processes are sharing three different kinds of resources. The model is identical to the Resource Allocation system presented in "Introductory Examples” (which we recommend to study before this example).
The example is taken from Sect. 1.1 of Vol. 2 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
Documentation on the state space tool can be found here use state space tool
The files for this net can be found in a subdir of cpntools called Samples\ResourceAllocation.
The files are