基于BDD的企业车间死锁的快速预防方法

摘要

本发明公开了一种基于二叉决策图（BDD）的企业车间死锁的快速预防方法。本发明通过Petri网对企业车间系统进行模拟和分析，利用可以压缩表示布尔函数的数据结构BDD进行求解和统计。包括以下步骤：采用Petri网对企业车间生产系统建模；基于BDD快速求解Petri网模型的极小信标集；基于陷阱定义或者与信标的逆反关系，快速求解Petri网的陷阱集；分析、规划极小信标和陷阱，求解Petri网模型的严格极小信标集；通过对严格极小信标集的分析，获得新的控制库所集和对应的关系弧，以此控制严格极小信标集全都为不被清空的，从而实现对企业车间死锁的预防。本发明具有死锁控制器求解过程需要较少的求解时间和存储空间的优点。