Distributed Database | CPN Tools help |
Example Nets |
The CPN ML declarations are described in great detail. Moreover, the example is used to illustrate three of the very basic concepts of net theory: concurrency, conflict and causal dependency.
The example is taken from Sect. 1.3 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\DistributedDataBase
The files are