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