Poster: Modeling Congestion Control using Petri Nets

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