[发明专利]车间制造系统的启发式二叉决策图变量序优化表示方法

摘要

本发明公开了一种车间制造系统的启发式二叉决策图(OBDD)变量序优化表示方法，包括以下步骤：采用Petri网对企业车间生产系统建模；计算Petri网各个库所之间相互关联度；以资源库所为中心，依据库所之间关联度大小对库所进行分组；采用深度优先策略寻找资源库所对应分组及所有库所的OBDD编码顺序。本发明以制造车间Petri网模型为对象，采用启发式OBDD变量序优化技术，缓解了在系统模型分析中存在的状态爆炸问题，具有有效减小模型表示结构、加快模型分析速度的优点。

主权项

车间制造系统的启发式二叉决策图变量序优化表示方法，其特征在于，包括以下步骤：步骤1、使用Petri网对车间制造系统进行建模；步骤2、求取系统Petri网模型中各个库所之间的关联度矩阵；步骤3、基于步骤2求得的库所之间关联度矩阵，以资源库所为中心，对Petri网所有库所分组；步骤4、求取资源库所对应分组的顺序；步骤5、基于步骤3和步骤4，采用启发式规则生成系统Petri网模型的OBDD变量优化顺序；步骤6、基于步骤5得出的OBDD优化变量序，构建车间制造系统Petri网模型的OBDD。