带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.

The Synthesis of Petri Nets Controller for General Inequality Constraints with Uncontrollable Transitions

A supervisor synthesis technique for Petri net plants with uncontrollable transitions that enforces the conjunction of a set of general linear inequalities involving the marking and Parikh vector was presented.First the general linear inequalities involving the marking and Parikh vector are transformed into the constraints involving Parikh vector only.The constraints involving Parikh vector can not be directly enforced on a plant because of existence of the uncontrollable transitions of the plant.An algorithm for transforming the constraints involving Parikh vector into admissible constraints involving Parikh vector that can be directly enforced on the plant was proposed.The method is proved to be simpler and more efficient than the method presented by Iordache.