基于Petri网和Banker’s algorithm的数字孪生车间死锁判断方法  

Deadlock determination for digital twin workshops based on Petri nets and Banker’s algorithm

作　　者：杨逸风 陈亚洲[1] 陈一明 林晓川 王鸿星 YANG Yifeng;CHEN Yazhou;CHEN Yiming;LIN Xiaochuan;WANG Hongxing(College of Marine Equipment and Mechanical Engineering,Jimei University,Xiamen Fujian 361021,China)

机构地区：[1]集美大学海洋装备与机械工程学院,福建厦门361021

出　　处：《图学学报》2024年第3期585-593,共9页Journal of Graphics

基　　金：厦门市科技补助项目(2022CXY03005);福建省科技计划重点项目(2018H0024);福建省中青年教师教育科研项目(JAT231646)。

摘　　要：车间生产流程中资源分配或工序安排不合理会使生产流程出现死锁现象,导致无法继续生产,大大降低车间生产效率。为解决上述问题,综合Petri网和Banker’s algorithm理论将车间死锁的形成条件分为互斥等待、占有等待、循环等待和不可剥夺4种,并以这4种条件为基础,将死锁分为资源分配死锁、进程顺序死锁、协作对象死锁和动态资源死锁的4种不同表现形式。基于Banker’s algorithm判断死锁存在、基于改进时间可达性分析法确定车间死锁发生的具体位置,建立不同死锁表现形式下的死锁恢复策略,采用Tina和Unity 3D等软件将该方法集成到车间数字孪生系统中,实现车间流程死锁监测和预测功能。最后以某精密冲压车间零件生产过程为例进行了验证,结果表明该方法能有效实现生产流程实时监控和高效预测。Unreasonable resource allocation or process arrangement in the workshop production process can lead to deadlock phenomenon,resulting in the inability to continue production and greatly reducing workshop production efficiency.To address the above problems,the theories of Petri net and Banker’s algorithm were integrated to classify the deadlock formation conditions into four kinds:mutual exclusion waiting,possession waiting,cyclic waiting,and inalienability.On the basis of these four conditions,deadlocks were classified into four different manifestations,namely resource allocation deadlock,process order deadlock,collaborative object deadlock,and dynamic resource deadlock.Determining the existence of deadlocks using Banker’s algorithm,and determining the specific location of deadlocks in the workshop using the time accessibility analysis method,the deadlock recovery strategies under different forms of deadlocks were established.The proposed method was integrated into the workshop digital twin system using software such as Tina and Unity 3D,thus achieving the workshop process deadlock monitoring and prediction functions.Finally,the production process of precision stamping parts in a certain workshop was verified as an example,and the results demonstrated that the proposed method could effectively achieve real-time monitoring and efficient prediction of the production process.

关 键 词：生产车间 PETRI网 银行家算法 死锁 监控 死锁恢复 

分 类 号：TG388[金属学及工艺—金属压力加工] TP301.1[自动化与计算机技术—计算机系统结构]