Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/11000/30983

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

Título :
Modeling a New AQM Model for Internet Chaotic Behavior Using Petri Nets
Autor :
Giménez, Ángel
AMIGO, JOSE M.  
Martinez Bonastre, Oscar  
Valero, José
Duran, Gullem
Editor :
MDPI
Departamento:
Departamentos de la UMH::Estadística, Matemáticas e Informática
Fecha de publicación:
2021
URI :
https://hdl.handle.net/11000/30983
Resumen :
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 conges tion 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.
Palabras clave/Materias:
Petri nets
Internet
congestion control
AQM
dynamical systems
chaos
bifurcation
Área de conocimiento :
CDU: Ciencias puras y naturales
Tipo documento :
application/pdf
Derechos de acceso:
info:eu-repo/semantics/openAccess
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
DOI :
https://doi.org/10.3390/app11135877
Aparece en las colecciones:
Artículos Estadística, Matemáticas e Informática



Creative Commons La licencia se describe como: Atribución-NonComercial-NoDerivada 4.0 Internacional.