Performance evaluation of a TCP/IP transmission using hybrid Petri nets

Summary form only given. The current expansion of communication networks offer services for private individuals in terms of access to information, communication between individuals, interactive play, as well as for economic or technical purposes such as banking applications, air traffic control, telerobotics, remote maintenance, medicine, etc. Data sent are converted into segments subjected to network constraints, namely delays, erroneous arrivals of messages or even loss of messages. With taking these constraints into consideration, our contribution is focused on network modeling, study of network dynamic behavior and of congestion avoidance. It is possible with this network modeling to determine the influence of communication networks on the transmission of control signals, since there are delays and losses induced by networks. This paper presents the modeling of a communication line in Internet environment under TCP/IP protocol. The behavior of the communication line is modeled as a continuous system (message flows); it is a satisfactory approximation. The behavior of the TCP protocols is seen as a discrete event system model. In this case, the global model is hybrid. We have chosen hybrid PNs as a unique modeling tool, since it gives accurate models of the complex functions found in Internet connections.

[1]  T. V. Lakshman,et al.  Beyond best effort: router architectures for the differentiated services of tomorrow's Internet , 1998, IEEE Commun. Mag..

[2]  Deborah Estrin,et al.  Recommendations on Queue Management and Congestion Avoidance in the Internet , 1998, RFC.

[3]  Hassane Alla,et al.  From hybrid Petri nets to hybrid automata , 1998 .

[4]  Sally Floyd,et al.  Simulation-based comparisons of Tahoe, Reno and SACK TCP , 1996, CCRV.

[5]  Vern Paxson,et al.  TCP Congestion Control , 1999, RFC.

[6]  Christopher V. Hollot,et al.  Nonlinear stability analysis for a class of TCP/AQM networks , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[7]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[9]  V. Jacobson,et al.  Congestion avoidance and control , 1988, CCRV.

[10]  Sally Floyd,et al.  Congestion Control Principles , 2000, RFC.

[11]  QUTdN QeO,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[12]  Fernando Paganini,et al.  Internet congestion control , 2002 .

[13]  N. H. Lee,et al.  Fluid and Brownian approximations for an Internet congestion control model , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[14]  W. Richard Stevens,et al.  TCP Slow Start, Congestion Avoidance, Fast Retransmit, and Fast Recovery Algorithms , 1997, RFC.

[15]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[16]  Michel Bertrand,et al.  Systèmes dynamiques hybrides - Modélisation et simulation , 2015, Automatique et ingénierie système.

[17]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..