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. […]
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 […]
Dining philosophers example
This is a small toy example which is well-suited as an introduction to state spaces (also called occurrence graphs). The analysis of the state space is described in great detail and a large number of different queries are illustrated. The CPN model describes how a number of processes (philosophers) share common resources (chopsticks). The Dining Philosophers is one of the traditional examples used by computer […]
Simple protocol 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 a simple protocol by which a sender can transfer a number of packets to a receiver. The model is identical to the Simple Protocol presented in Introductory Examples (which we recommend to study before this […]
