基于展开图的安全网控制器设计

Controller Design for Safe Nets Based on Unfolding Graph

针对一类特殊Petri网—安全网,将Petri网展开技术应用于控制器设计,研究能实现给定性能指标的最大容许控制器的设计问题。引入了控制变迁集的概念,得到了基于展开图的逻辑型控制器,在此基础上,结合Petri网展开原理,设计出原网上的结构型控制器,方便工程人员理解并能节省在线运行时控制动作的计算时间。

According to a special class of Petri net（ PN）,PN unfolding-a partial-order method was used to deal with the problem about controller design for safe nets. The designed controller is maximally permissive and able to enforce the given specification. The definition about the set of control transitions was given,and an equivalent control structure of the reported controller was proposed,which was added to the unfolding net of the original one. It is easier to understand for engineers and can save the computational time on-line.