A Parametric Colored Petri Net Model of a Switched Network

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.

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.

Cite this paper

nullD. Zaitsev and T. Shmeleva, "A Parametric Colored Petri Net Model of a Switched Network,"*International Journal of Communications, Network and System Sciences*, Vol. 4 No. 1, 2011, pp. 65-76. doi: 10.4236/ijcns.2011.41008.

nullD. Zaitsev and T. Shmeleva, "A Parametric Colored Petri Net Model of a Switched Network,"

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.

[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.