工艺约束条件下加工顺序决策的Petri网T_不变量方法

针对计算机辅助工艺设计中一直没有解决的加工顺序决策问题,提出了一种新的基于Petri网T_不变量的加工顺序决策方法。首先根据Petri网原理和产生式规则建立了一个基于规则的加工顺序决策Petri网模型;然后在考虑工艺约束的条件下,给出了可选工艺路线T_不变量的生成算法;最后通过一个实例验证了该算法的合理性和有效性。实例结果表明,所提出的决策方法能够实现从可选工艺路线中得到最优/次优的工艺路线。     

基于Petri网结构特性的可达性求解

以Petri网关联矩阵为基础,根据状态方程将变迁向量解表达为T_不变量与方程特解的线性组合;当特解向量中不存在合法引发序列时,从该向量出发,以逆序的方式获取借库所,构建借库所链;利用借库所关联的变迁向量之间的借还逻辑和数目依次求解T_不变量的发生系数,得到一个较小的可达变迁向量。这种求解算法不仅可以实现目的可达的有效求解,还可以利用借库所链的中断对目的不可达进行直接快速的判断,避免后续不必要的相关工作;同时借库所的获取、T_不变量系数的分析计算都是分区块进行的,大大缩小了探索范围,也简化了计算操作;借库所链中种蕴含的变迁引发逻辑也可以启发方式帮助可达变迁向量快捷建立合法引发次序。