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.

Telephones

Telephones

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

Timed protocol example
Simple protocol example

You must be logged in to post a comment.