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

Redundant Siphon and Its Applications to Structure Control of Petri Nets

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

We present the concept of redundant strict minimal siphons and its applications to structure control for Petri nets. It is proved that redundant siphons are a special structure of net topology. The results obtained in this paper show that not all strictly minimal siphons need to be considered when ensuring that all siphons do not lose all their tokens. An iterative algorithm is also proposed for deadlock control. The design of Petri nets with desired properties can be simplified using the concept of redundant strict minimal siphons. The applications of redundant strict minimal siphons make Petri nets more powerful in modeling and controlling complex automated manufacturing systems. The time and space complexity of control algorithm is greatly reduced. This is illustrated by an example in automatic manufacturing systems.