含不可控变迁的Petri网监控器设计

在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.

Supervisor synthesis of Petri net with uncontrollable transitions

In supervisory synthesis of discrete event system(DES)modeled by Petri nets with uncontrollable events,when the specifications are Parikh vector constraints,a method is proposed to transform illegal constraint into admissible constraint by using transformation matrix R.Matrix equation is constructed to obtain R,and the existence of R can be predicted by the compatibility of the matrix equation in advance.Generalized inverse matrix is applied to achieve the solution of R,as well as the admissible constraint ...