Title :
Stability and stabilization techniques for discrete event systems modeled by coloured Petri nets
Author_Institution :
Centro de Investigacion en Computo, Inst. Politecnico Nacional, Mexico City, Mexico
Abstract :
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
Keywords :
Lyapunov methods; Petri nets; discrete event systems; graph colouring; stability; coloured Petri nets; discrete event systems; place-transition Petri nets; stability; stabilization techniques; vector Lyapunov theory; Computer networks; Difference equations; Discrete event systems; Lyapunov method; Manufacturing systems; Mathematical model; Petri nets; Stability; Telecommunication traffic; Traffic control;
Conference_Titel :
Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on
Conference_Location :
Anchorage, AK
Print_ISBN :
0-7803-6562-3
DOI :
10.1109/CCA.2000.897587
