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

Simple protocol example

Simple protocol example

This is a small toy example describing a simple protocol by which a sender can transfer a number of packets to a receiver. The communication medium may loose packets and packets may overtake each other. Hence, it may be necessary to retransmit packets and to ignore doublets and packets that are out of order. The example is a modified version of a timed CP-net presented […]

Read Me Leave comment

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

Resource allocation example

Resource allocation example

This is a small toy example which is well-suited as a first introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail, explaining the basic concepts of occurrence graphs. Hence, it can be read by people with no prior knowledge of occurrence graphs. The CPN model describes how two different kinds of processes are sharing three different kinds of resources. […]

Read Me Leave comment

Timed protocol example

Timed protocol example

This example shows how the CP-net from Simple Protocol can be turned into a timed CP-net. The timed CP-net specifies how long time the individual operations take and how long time the sender should wait before it makes a retransmission. The timed CP-net can be used to experiment with different waiting times to determine which one is the best – in the sense that it […]

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

Distributed database example

Distributed database example

This is a small toy example which is well-suited as an introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail. The CPN model describes the communication between a set of data base managers in a distributed system. The model is identical to the Distributed database presented in Introductory Examples (which we recommend to study before this example). The example […]

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

Monitored dining philosophers example

Monitored dining philosophers example

This is an example that shows how to use user-defined monitors to establish communication between CPN Tools and an applet via external communication with Comms/CPN. The net is a variation of the net for the Dining Philosophers. In the following it is assumed that you are familiar with the net for the Dining Philosophers. In this net the philosophers pick up one chopstick at a […]

Read Me Leave comment

Queue system example

Queue system example

This is a small toy example of a queue system. This example illustrates how data collector monitors can be used for performance analysis of a system. The CPN for the system also includes breakpoint monitors, a write-in-file monitor and a user-defined monitor. In this system, two kinds of jobs are processed by a server. New jobs arrive periodically in the system. If the server is […]

Read Me Leave comment