冗余信标及其在Petri网结构控制中的应用

摘要：

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

关键词：Petri网、结构分析、冗余信标

所属期刊栏目：23

分类号：TP393(计算技术、计算机技术)

在线出版日期：2004-06-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：429-433