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

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

作　　者：王寿光[1] 许振伟[1] 

机构地区：[1]浙江工商大学信息与电子工程学院,杭州310018

出　　处：《上海交通大学学报》2007年第9期1551-1555,共5页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金(60503027);浙江省自然科学基金(Y106669);浙江省教育厅项目资助(20061082)

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

关 键 词：PETRI网 离散事件系统 监控 线性不等式约束 Parikh向量 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]