Stability and stabilization techniques for discrete event systems modeled by coloured Petri nets

This paper presents the stability and stabilization problems of discrete event systems modeled by coloured Petri nets using vector Lyapunov theory. After recalling some known stability and stabilization information for discrete event systems modeled by place-transition Petri nets, the stability and stabilization problems for discrete event systems modeled by coloured Petri nets are addressed. These results are a generalization of those obtained for discrete event systems modeled by place-transition Petri nets.