Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....