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.