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