Distributed Data Base

Abstract

This is a small toy example which describes the communication between a set of data base managers in a distributed system. The managers are supposed to keep their data bases 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 deal. 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.

Developed and Maintained by

Kurt Jensen, Aarhus University Denmark (kjensen@daimi.au.dk)
Last modified: Mon Sep 10 12:52:47 2001 -- Design/CPN Online admin