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

权利要求书

1.车间制造系统的启发式二叉决策图变量序优化表示方法，其特征在于，包括以下步骤：

步骤1、使用Petri网对车间制造系统进行建模；

步骤2、求取系统Petri网模型中各个库所之间的关联度矩阵；

步骤3、基于步骤2求得的库所之间关联度矩阵，以资源库所为中心，对Petri网所有库所分组；

步骤4、求取资源库所对应分组的顺序；

步骤5、基于步骤3和步骤4，采用启发式规则生成系统Petri网模型的OBDD变量优化顺序；

步骤6、基于步骤5得出的OBDD优化变量序，构建车间制造系统Petri网模型的OBDD；

步骤1使用Petri网子类S³PR网对车间制造系统进行建模，使用Petri网库所中的托肯数表示资源数，使用Petri网的变迁表示工作部件，使用Petri网中库所与变迁间的关系弧表示生产系统中的规则；

步骤2具体为：

步骤2-1、设置最大关联度值MAX_GRADE；

步骤2-2、初始化关联度矩阵M：把M_i,i置为最大值MAX_GRADE，把其他元素置为0，M_i,j表示库所p_i和库所p_j之间的关联度；

步骤2-3、计算直接连接的两个库所的关联度：当p_i中的托肯能通过发射一个变迁到达库所p_j，或p_j中的托肯能通过发射一个变迁到达库所p_i，则库所p_i和库所p_j之间的关联度M_i,j＝MAX_GRADE-1；

步骤2-4、在求取的关联度矩阵M的基础上，利用迭代法逐步迭代消除值为0的元素，求取完整的关联度矩阵：在一轮迭代的过程中，若库所p_i和库所p_j之间的关联度M_i,j＝0，令P为所有库所的集合，集合A＝{p_k|p_k∈P且M_i,k≠0}，若A为空集，则跳过M_i,j，继续寻找下一个0元素，否则，令t＝{max(M_j,k+M_i,k-MAX_GRADE)|p_k∈A}，M_i,j＝t，直至关联度矩阵M中不含有0元素，迭代结束；

步骤4具体为：

步骤4-1、对于空闲库所集合P_I中任意库所p_i，以p_i为起点，深度优先遍历Petri网，并以最终回到库所p_i为结束，每次的深度优先遍历会产生一条不同的路径，把该路径上所用到的资源库所依次排序形成一个集合，记为R_i，最终求取的路径数量等于空闲库所的数量，然后，把所有的路径R_i置入路径集合router中；

步骤4-2、设最终的资源库所排序的有序集合为R，在路径集合router中，找到一个含有元素数量最多的路径R_i，把集合R_i中的元素有序添加进R中，并且从路径集合router中删除路径R_i；

步骤4-3、重复步骤4-2，直至所有资源库所都包含于有序集合R中或路径集合router为空，若路径集合router为空时仍有资源库所没有包含于有序集合R，则把剩余的资源库所依次添加进有序集合R中，有序集合R即为所需求取的资源库所顺序。