论文部分内容阅读
作为传统自动化立体仓库(AS/RS)的可替换系统，自动小车存取系统(AVS/RS)主要利用自动小车在物流仓库中进行货物出入库操作。本文应用库所双重着色的有色赋时Petri网构建了AVS/RS动态模型，并结合有向图工具揭示了导致自动小车系统(AVS)死锁的原因一环路死锁，给出了AVS无死锁运行的充要条件。提出了避免死锁的控制方法，最后利用实例说明了该方法的有效性。