Ethernet Network Parametric Models

Ethernet Network Parametric Models

These models are contributed by Dmitry Zaitsev. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers listed, only that we provide them as inspiration. Parametric model has constant structure for any given switched Ethernet network. It contains one copy of each component: switch, workstation, server. A given topology is put as […]

Read Me Leave comment

Ethernet Network

Ethernet Network

This model is contributed by Dmitry Zaitsev. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers listed, only that we provide them as inspiration. The model of a given network is composed of submodels of Ethernet switches, workstations and servers. It reflects the process of frames delivery by switches using the […]

Read Me Leave comment

Ensemble Coordination for Discrete Event Control

Ensemble Coordination for Discrete Event Control

This example was contributed by John C. Sloan. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers listed, only that we provide them as inspiration. This example models a distributed ensemble of four controllers that enact a fault triage scheme for a particular remote submersible machine. The case study focuses on […]

Read Me Leave comment

Edge Router Discovery Protocol

Edge Router Discovery Protocol

This protocol models a protocol for routers routing packets between a mobile ad-hod network and a traditional network. The protocol is described in L.M. Kristensen and K. Jensen: “Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks“, In: Integration of Software Specification Techniques for Applications in Engineering, pages 248-269. Volume 3147 of Lecture Notes in Computer Science — Springer-Verlag, September […]

Read Me Leave comment

E6 Network Dynamic Routing

E6 Network Dynamic Routing

This model is contributed by Dmitry Zaitsev. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers listed, only that we provide them as inspiration. The model of a given E6 network is composed of E6 switching-router (SRE6) submodels supplied with traffic generators. SRE6 model contains submodels of ports and routing procedures: […]

Read Me Leave comment

Dynamic MANET On-demand Routing Protocol

Dynamic MANET On-demand Routing Protocol

This model implements the IEFT protocol Dynamic MANET On-demand Routing Protocol (or DYMO). The protocol is described in K.L. Espensen, M.K. Kjeldsen, and L.M.Kristensen: “Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks“, In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, pages 152-170. Volume 5062 of Lecture Notes in Computer Science — Springer-Verlag, June 2008. If […]

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

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

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

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

Read Me Leave comment