基于Petri网理论的自动化立体仓库建模

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