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

Queue system configuration example

Queue system configuration example

This is a small toy example that shows how different model configurations can be easily defined and simulated when model parameters are defined as reference variables. The model is a variation of the Queue system example. You should be familiar with the Queue system example before reading about this example. This example will show how a function can be used to define and simulate a […]

Read Me Leave comment

Provider Backbone Bridge

Provider Backbone Bridge

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. This model implements a Provider Backbone Bridge (PBB) network: PBB interior switch, PBB edge switch—with the dynamic filling up of address tables. This model is described in: […]

Read Me Leave comment

Hierarchical protocol example

Hierarchical protocol example

This example shows how the CP-net from Simple Protocol can be turned into a hierarchical CP-net – with separate pages (subnets) for the Sender, the Network and the Receiver part. The protocol is modified to accommodate multiple Receivers. The files for this net can be found in a subdir of cpntools called Samples\\HierarchicalProtocol. The files are The net to load in CPN Tools A document […]

Read Me Leave comment

MPLS Network

MPLS 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 MPLS network is composed of submodels of LSR/LER routers and terminal (customer) networks for generating traffic. Static FEC/LSP allocation and label switching […]

Read Me Leave comment

IP Network

IP 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 IP network is composed of submodels of IP routers and terminal (customer) networks for generating traffic. Terminal networks provide random pairs of […]

Read Me Leave comment