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
The files are