论文部分内容阅读
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了＂逻辑或＂形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.
针对α网的最优线性约束转换方法
【摘 要】
：
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集
【机 构】
：
浙江工商大学信息与电子工程学院
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2015年5期
【基金项目】
：
浙江省杰出青年基金资助项目（LY15F030003,R14F020001）, 国家自然科学基金资助项目（61472361）, 浙江省科技计划资助项目（2015C31064）, 浙江省新型网络标准与应用技术重点实验室资助项目（2013E10012）
其他文献