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. […]
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. […]
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 […]
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 […]
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 […]
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: […]
Protocol with timer
This example shows how the CP-net from Simple Protocol can be modified so that the retransmission of messages is controlled by a simple timer – modeled by means of two places and two transitions. The CP-net is not using time stamps and hence it should not be confused with the Timed Protocol. The files for this net can be found in a subdir of cpntools […]
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 […]
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 […]
