Timed resource allocation example

Timed resource allocation example

This is a small toy example which is well-suited as a first introduction to timed CP-nets. It shows how the CP-net from Resource Allocation can be turned into a timed CP-net. The time constructs are described in great detail, explaining the basic concepts of timed CP-nets. The example is taken from Sect. 5.1 of Vol. 2 of K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis […]

Read Me Leave comment

Telephone example

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 […]

Read Me Leave comment

Ring protocol example

Ring protocol example

This is a small toy example which is well-suited as a first introduction to hierarchical CP-nets. The use of substitution transitions and fusion sets are described in great detail, but do note that fusion places are not supported in CPN Tools at this time. The CPN model describes how a number of different sites communicate via a ring network. The example is taken from Sect. […]

Read Me Leave comment

Resource allocation example

Resource allocation example

This is a small toy example, which is well suited as a first introduction to CP-nets. The CPN model is described in great detail, explaining the basic concepts of CP-nets. Hence, it can be read by people with no/little Petri net background. The CPN model describes how two different kinds of processes are sharing three different kinds of resources. It is simple to understand and […]

Read Me Leave comment

Distributed database example

Distributed database example

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 […]

Read Me Leave comment