[IEEE 2000 IEEE International Conference on Control Applications - Anchorage, AK, USA (25-27 Sept. 2000)] Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162) - Stability and stabilization techniques for discrete event systems modeled by coloured Petri nets