针对α网的最优线性约束转换方法  

Optimal linear constraint transformation method for α-nets

作　　者：张丽[1] 赵良煦[1] 王寿光[1] 汪成英[1] 

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

出　　处：《西安电子科技大学学报》2015年第5期183-187,212,共6页Journal of Xidian University

基　　金：浙江省杰出青年基金资助项目(LY15F030003;R14F020001);国家自然科学基金资助项目(61472361);浙江省科技计划资助项目(2015C31064);浙江省新型网络标准与应用技术重点实验室资助项目(2013E10012)

摘　　要：针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.For a class of Petri nets whose uncontrollable subnets areα-nets,this paper proposes a method to transform a given generalized mutual exclusion constraint into an optimal admissible one.Firstly,the uncontrollable subnets are obtained.Secondly,an algorithm for synthesizing the transformed sets of forbidden places is proposed.Lastly,according to the sets of forbidden places,the disjunction of admissible linear constraints which is maximally permissive is constructed.An example is provided to illustrate the efficiency of the proposed method.

关 键 词：PETRI网 离散事件系统 禁止状态 不可控变迁 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置] TP301[自动化与计算机技术—控制科学与工程]