A Parametric Colored Petri Net Model of a Switched Network

Dmitry A. Zaitsev, Tatiana R. Shmeleva

.

DOI: 10.4236/ijcns.2011.41008                

Abstract

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.

Keywords

Switched Network, Colored Petri Net, Parametric Model, Network Response Time

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	X. Zhang and G. F. Riley, “Bluetooth Simulations for Wireless Sensor Networks Using GTNetS,” Proceedings of 12th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Volendam, 5-7 October 2004, pp. 375-382.
[2]	K. Jensen, “Colored Petri Nets—Basic Concepts, Analysis Methods and Practical Use,” Springer-Verlag, Berlin, Vol. 1-3, 1997.
[3]	M. Beaudouin-Lafon, W. E. Mackay, M. Jensen, et al., “CPN Tools: A Tool for Editing and Simulating Coloured Petri Nets,” LNCS 2031: Tools and Algorithms for the Construction and Analysis of Systems, 2001, pp. 574-580. http://www.daimi.au.dk/CPNTools
[4]	D. A. Zaitsev, “Verification of Protocol TCP via Decomposition of Petri Net Model into Functional Subnets,” Proceedings of the Poster Session of 12th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Volendam, 5-7 October 2004, pp. 73-75.
[5]	D. A. Zaitsev, “An Evaluation of Network Response Time Using a Coloured Petri Net Model of Switched LAN,” 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, 8-11 October 2004, pp. 157-167.
[6]	D. A. Zaitsev, “Switched LAN Simulation by Colored Petri Nets,” Mathematics and Computers in Simulation, Vol. 65, No. 3, 2004, pp. 245-249. doi:10.1016/j.matcom. 2003.12.004
[7]	D. A. Zaitsev and T. R. Shmeleva, “Modeling of Switched Local Area Networks by Colored Petri Nets,” Zviazok (Communications), Vol. 46, No. 2, 2004, pp. 56-60.
[8]	H. S. Zyabirov, G. A. Kuznetsov, F. A. Shevelev, et al., “Automated System for Operative Control of Exploitation Work GID Ural-VNIIZT,” Railway Transport, No. 2, 2003, pp. 36-45.
[9]	R. Breyer and S. Riley, “Switched, Fast, and Gigabit Ethernet,” MacMillan Technical Publications, Indianapolis, 1999, pp. 1-618.
[10]	S. Pahomov and S. Samohin, “Testing Fast Ethernet Adapters,” ComputerPress, No. 8, 2001.