Timed petri net models of ATM LANs

Abstract

The Asynchronous Transfer Mode (ATM) is a fast packetswitching communication method using small fixed-length cells. A model of an ATM LAN is presented which provides a realistic representation of data transmission by modeling both the ATM network and the applications running over it. Colored Petri nets are used to create a compact model that is capable of representing a variety of different protocols at a high level of detail. The model is designed to allow easy reconfiguration or addition of details at different levels of the system. Simulation is used to evaluate the performance of the modeled system, and some results are compared to actual data gathered from the campus network at Memorial University.

A two-level, protocol-based approach to controlling autonomous oceanographic sampling networks

“…Results have therefore so far been empirical rather than analytical. One promising direction for developing a mathematical model is to represent agents following the protocols by a Petri net (e.g., a timed, Colored Petri net [35]). Such networks have been used to verify such properties of distributed systems as reachability of states and freedom from deadlock.…”

Management and control of information flow in CIM systems using UML and Petri nets

“…High level PNs were used in the modelling and analysis for communication networks, such as colored PNs (Capellmann et al 1999, Kohler et al 2001. Stochastic timed PNs were primarily used for system evaluations and performance analysis (Reid andZuberek 1999, Hirel et al 2000). PN theory consists of a graphical tool for modelling systems dynamic behavioral and a set of mathematical theorems to analyse their behavioral and structural properties.…”