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