Modeling a New AQM Model for Internet Chaotic Behavior Using Petri Nets

Formal modeling is considered one of the fundamental phases in the design of network algorithms, including Active Queue Management (AQM) schemes. This article focuses on modeling with Petri nets (PNs) a new scheme of AQM. This innovative AQM is based on a discrete dynamical model of random early detection (RED) for controlling bifurcations and chaos in Internet congestion control. It incorporates new parameters (α,β) that make possible better stability control over oscillations of an average queue length (AQL) at the router. The PN is validated through the matrix equation approach, reachability tree, and invariant analysis. The correctness is validated through the key properties of reachability, boundedness, reversibility, deadlock, and liveness.

[1]  Fulvio Babich,et al.  Formal methods for specification and analysis of communication protocols , 2002, IEEE Communications Surveys & Tutorials.

[2]  Richelle V. Adams,et al.  Active Queue Management: A Survey , 2013, IEEE Communications Surveys & Tutorials.

[3]  Carey L. Williamson,et al.  Internet Traffic Measurement , 2001, IEEE Internet Comput..

[4]  Steven H. Low,et al.  REM: active queue management , 2001, IEEE Netw..

[5]  T. Karimov,et al.  Adaptive Generalized Synchronization between Circuit and Computer Implementations of the Rössler System , 2020, Applied Sciences.

[6]  David Šafránek,et al.  Digital Bifurcation Analysis of Internet Congestion Control Protocols , 2020, Int. J. Bifurc. Chaos.

[7]  Artur I. Karimov,et al.  Construction of one-way hash functions with increased key space using adaptive chaotic maps , 2020 .

[8]  Leonard Kleinrock,et al.  An early history of the internet [History of Communications] , 2010, IEEE Communications Magazine.

[9]  K.Chitra,et al.  Classification and Performance of AQM-Based Schemes for Congestion Avoidance , 2010, 1005.4262.

[10]  Jie Zhu,et al.  Hopf bifurcation analysis in a fluid flow model of Internet congestion control algorithm , 2009 .

[11]  Azer Bestavros,et al.  Self-similarity in World Wide Web traffic: evidence and possible causes , 1997, TNET.

[12]  C. Siva Ram Murthy,et al.  Performance Modeling of Delay-Tolerant Network Routing via Queueing Petri Nets , 2014, IEEE Trans. Mob. Comput..

[13]  Zaitang Huang,et al.  The stochastic stability and bifurcation behavior of an Internet congestion control model , 2011, Math. Comput. Model..

[14]  Y. G. Zheng,et al.  Stability and Hopf bifurcation of a class of TCP/AQM networks , 2010 .

[15]  Dharmendrasinh D. Zala,et al.  Comparative Analysis of RED Queue Variants for Data Traffic Reduction Over Wireless Network , 2020 .

[16]  Walter Willinger,et al.  On the self-similar nature of Ethernet traffic , 1993, SIGCOMM '93.

[17]  Erivelton Geraldo Nepomuceno,et al.  Chaotic Oscillators as Inductive Sensors: Theory and Practice , 2019, Sensors.

[18]  Richard J. La,et al.  Nonlinear instabilities in TCP-RED , 2004, TNET.

[19]  Vinton G. Cerf,et al.  The past and future history of the Internet , 1997, CACM.

[20]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[21]  B. John Oommen,et al.  Random Early Detection for Congestion Avoidance in Wired Networks: A Discretized Pursuit Learning-Automata-Like Solution , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[22]  Mung Chiang,et al.  Design for Optimizability: Traffic Management of a Future Internet , 2010, Algorithms for Next Generation Networks.

[23]  Valerio Luconi,et al.  Impact of the COVID-19 pandemic on the Internet latency: A large-scale study , 2020, Computer Networks.

[24]  E. Lorenz.  Deterministic nonperiodic flow , 1963 .

[25]  Angela L. Chiu,et al.  Overview and Principles of Internet Traffic Engineering , 2002, RFC.

[26]  Ying Zhou,et al.  Protocol Verification by Simultaneous Reachability Graph , 2017, IEEE Communications Letters.

[27]  Van Jacobson,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[28]  José María Amigó,et al.  Generalized TCP-RED dynamical model for Internet congestion control , 2020, Commun. Nonlinear Sci. Numer. Simul..

[29]  Van Jacobson,et al.  Controlling queue delay , 2012, Commun. ACM.