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

上海交通大学学报 第 41 卷第 9 期 Vo l. 41 No.9 2007 年 9 月 JOURNAL OF SHA :-JGHAI JIAOTONG UNIVERSITY Sep. 2007 文章编号:1006-2467(2007)09-1551-05 带有不可控变迁的一般不等式 约束的 Petri 网控制器综合 王寿光， 许振伟 (浙江工商大学信息与电子工程学院，杭州 310018) 摘 要:针对关于标识向量和 Parikh 向量的一般不等式约束的 Petri 网控制器实现问题，研究控 制对象中存在不可控变迁情况下实现 Petri 网反馈控制器问题.首先利用 Petri 网的状态方程把关 于标识向量和 Parikh 向量的不等式约束转变成关于 Parikh 向量的不等式约束，由于 Petri 网中不 可控变迁的存在，故不能直接对给定不等式约求进行控制器设计，需要对不等式约束进行转换.提 出一种新约束转换技术把不允许转变为允许不等式约束，然后设计 Petri 网反馈控制器.最后将该 方法与 Iordache 等人提出的方法作比较，实验结采显示该方法更简单、更有效. 关键词: Petri 网;离散事件系统;监控;线性不等式约束; Parikh 向量 中图分类号: TP 39 1. 9 文献标识码:A The Synthesis of Petri Nets Controller for General Inequal ity Constraints with Uncontrollable Transitions WANG Shou-guang , XU Zhen-wei CCollege of Information Electronic Eng. , Zhejiang Gongshang Univ. , Hangzhou 310018 , China) Abstract: 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 presen- ted. 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 en forced on a plant because of existence of the uncontrollable transitions of the plant. An algorithm for trans forming the constraints involving Parikh vector into admissible constraints involving Parikh vector that can be directly enforced 0口 the plant was proposed. The method is proved to be simpler and more efficien