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