关键词：Petri网；离散事件系统；禁止状态；不可控变迁
摘 要：针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取