José María Amigó, Guillermo Durán, Ángel Giménez, José Valero and Óscar Martínez (MHU)
Abstract: Formal specification is an essential phase for the design of any network algorithm, including Active Queue Management (AQM) schemes. In this poster, we focus on modeling with Petri Nets (PN) a new scheme of AQM. Our AQM is based on a discrete dynamical model of Random Early Detection (RED) for controlling bifurcations and chaos in the Internet traffic. It incorporates new parameters (α, β) that make possible a better stability control over oscillations of Average Queue Length (AQL).