基于Petri网T_不变量考虑约束条件的可选加工方法链决策

摘要

计算机辅助工艺规划系统中的加工方法决策和加工顺序决策是迄今为止一直没有得到很好解决的关键问题.由于Petri网是对离散事件动态系统进行描述、建模和分析的强有力的工具,而机械制造系统又是典型的离散事件系统,所以文中采用Petri网来求解工艺规划问题.首先根据Petri网原理和产生式规则建立了基于规则的Petri网加工方法链模型;然后在考虑约束条件的基础上,提出了一种新的可选加工方法链T_不变量生成方法;最后对具体的实例进行了分析和验证.