Distributed Database. | CPN Tools help |
Example Nets |
The CPN model describes the communication between a set of data base managers in a distributed system. The model is identical to the Distributed Database presented in “Introductory Examples”(which we recommend to study before this example).
The example is taken from Sect. 1.5 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\DistributedDataBase
The files are