A supervisory control theoretical approach to congestion management

This paper presents a supervisory control theoretical approach to congestion management in virtual circuit networks. The network behavior is considered as a dynamic discrete-event system (DES). Then, a synthesis algorithm is applied to derive a supervisor that restricts network operation to avoid congestion. In our approach, a colored Petri net (CP-net) is used to model a network, an equivalence relation over behaviors of switches is defined to reduce the state space, and a congestion control specification is expressed as forbidden markings of the CP-net.