摘要

针对自动化立体仓库的离散事件系统建模,Petri网理论具有自身的优势,但在建模时可能存在"组合爆炸"问题。本文以某自动化立体仓库为例,采用了分解系统和复合模型的建模方法,不但保持了Petri网的分析和验证能力,而且避免了"组合爆炸"问题。

  • 单位
    中国人民解放军陆军勤务学院