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

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

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

E6 Network Dynamic Routing

E6 Network Dynamic Routing

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 E6 network is composed of E6 switching-router (SRE6) submodels supplied with traffic generators. SRE6 model contains submodels of ports and routing procedures: […]

Read Me Leave comment

Dynamic MANET On-demand Routing Protocol

Dynamic MANET On-demand Routing Protocol

This model implements the IEFT protocol Dynamic MANET On-demand Routing Protocol (or DYMO). The protocol is described in K.L. Espensen, M.K. Kjeldsen, and L.M.Kristensen: “Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks“, In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, pages 152-170. Volume 5062 of Lecture Notes in Computer Science — Springer-Verlag, June 2008. If […]

Read Me Leave comment

Bluetooth Network

Bluetooth 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 Bluetooth network is composed of submodels of the master and slave devices. The process of AMA reallocation is modeled as well as […]

Read Me Leave comment