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

Protocol with timer

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

Read Me Leave comment

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