论文部分内容阅读
提出了冗余严格极小信标的概念,冗余信标是网拓扑的一种特殊结构.在保证网系统的所有信标不被清空时,只需要考虑那些非冗余的严格极小信标即可.这样便降低无死锁Petri控制器设计的复杂性,大大增强了Petri网处理复杂系统的能力.同时提出了一种死锁控制的迭代算法,使用冗余信标的概念可以大大简化Petd网的设计.以自动制造系统为例,说明了这种概念的应用.