A Parametric Colored Petri Net Model of a Switched Network

A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.

[1]  Dmitry A. Zaitsev,et al.  Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets , 2005 .

[2]  Sean Riley,et al.  Switched, fast, and gigabit Ethernet , 1999 .

[3]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[4]  Armin Zimmermann.  Colored Petri Nets , 2008 .

[5]  George F. Riley,et al.  Bluetooth simulations for wireless sensor networks using GTNetS , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[6]  D. A. Zaitsev.  Switched LAN simulation by colored Petri nets , 2004, Math. Comput. Simul..