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).

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call