【摘要】 利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展.对抑制弧Petri网作了简单的介绍,并给出了该监控理论的基本原理.详细地回顾和总结了该理论的四种方法,即:结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法,分别分析了这几种方法各自的利弊.最后对其可能的发展作了展望.更多还原

【Abstract】 New progress in the supervisory control theory of discrete event systems is the control of the system using inhibitor arc of Petri nets. Based on a brief introduction of inhibitor arc Petri nets, the fundamental principle of the theory is provided. Four methods of the theory are summarized and their virtues and shortcomings are analyzed. These methods include string avoidance method combined automata proposed by Sreenvias and Krogh, inhibitor arc method proposed by Uzam and Jones et al, state avoidance controller method based on inhibitor arc proposed by Cho and Kwon and weighted inhibitor arc method proposed by Wu and Su et al. Lastly, directions for future research are discussed.更多还原