Distributed Database.
Example Nets


This is a small toy example which is well-suited as an introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail.

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