自动化学报2005，Vol.31Issue(1)：143-150,8.
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems
摘要
Abstract
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. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.关键词
Discrete event systems/supervisory control/Petri nets/livenessKey words
Discrete event systems/supervisory control/Petri nets/liveness分类
信息技术与安全科学引用本文复制引用
Hong-Ye SU,Wei-Min WU,Jian CHU..Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems[J].自动化学报,2005,31(1):143-150,8.基金项目
Supported in part by the National Outstanding Youth Science Foundation of P.R. China (60025308), Doctor De gree Program Foundation of P.R. China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R. China (200401 （60025308）
