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