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.

has been cited by the following article:

• TITLE: A Parametric Colored Petri Net Model of a Switched Network

  AUTHORS: Dmitry A. Zaitsev, Tatiana R. Shmeleva

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

  JOURNAL NAME: International Journal of Communications, Network and System Sciences, Vol.4 No.1, January 28, 2011

  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.