自动小车存取系统中轨道导引小车环路死锁控制的研究

为防止自动小车存取系统中轨道导引小车环路死锁现象，提出了一种基于Petri网和有向图的死锁控制方法。该方法首先应用有色赋时Petri网建立了自动小车存取系统的动态模型，并结合有向图工具，阐述了导致环路死锁的原因。在此基础上，针对单一轨道双向运行的轨道导引系统，探讨了其环路死锁的主要表现形式，给出了轨道导引小车无死锁运行的充要条件，并提出了包含临界状态在内的死锁避免控制策略。最后，结合实例说明了环路死锁控制的有效性。