This is a small toy example which describes the communication between a set of database managers in a distributed system. The managers are supposed to keep their databases identical. Hence, each update must be followed by a broadcast to all the other managers, asking them to perform a similar update.
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
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Monographs on Theoretical Computer Science, vol. 1:Basic Concepts. Springer-Verlag, Berlin (1997).
The files for this net can be found in a subdir of cpntools called
The files are