Telephone example

This is a small toy example which describes how the public telephone system - as it is conceived by a user (and not by a telephone technician). We ignore time-outs and special services such as conference calls etc.

The example is taken from Sect. 3.2 of Vol. 1 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 Samples\\Telephones

The files are

• The net to load in CPN Tools
• A document describing the model