基于Petri网的OHT搬运系统防死锁调度方法

摘要

为了有效预防高空提升运输(OHT)小车运行过程中可能出现的碰撞及死锁现象,提高OHT搬运系统的运行效率,提出一种防死锁调度方法.首先,利用Petri网建立OHT小车搬运系统模型,在分析Petri网模型的基础上,证明有效避免死锁的控制规则.接着结合匈牙利算法构建防死锁调度方法,通过轨道节点的时间窗预测OHT小车下一步路径状况,避免小车碰撞和死锁现象,实现多台OHT小车的优化调度.最后,进行仿真实验及对比分析.研究结果表明:本文提出的防死锁调度方法是有效可行的.