在介绍自动化立体仓库系统和离散事件动态系统建模方法的基础上,作者提出了将Petri网建模方法用于立体仓库建模的研究,并采用Flexsim物流仿真软件对立体仓库系统进行仿真分析。根据自动化立体仓库基本组成和作业流程,将自动化立体仓库剖析为入库、存取、出库等三个子系统。通过对自动化立体仓库物流系统的整体分析,结合各个子系统的机械配置及作业特点,提出了基于Petri网的分层建模方法,建立了入库、存取、出库三个子系统以及自动化立体仓库整体的Petri网模型。本文构建了上述子系统的变迁事件表,并采用Petri网工作流的可达树法分析了各子系统的一般模型。本文借助Flexsim物流仿真软件,完成了此自动化立体仓库叉车作业系统的计算机仿真。作者通过对叉车作业模型的3D仿真,找出了该系统作业过程的“瓶颈”所在,并提出了改进措施。通过对优化后模型的仿真分析,验证了改进措施的有效性。作者提出的将Petri网法和Flexsim物流仿真软件用于自动化立体仓库作业流程的研究方法,同样适用于物流研究领域中其他具有随机动态特征的系统,为物流系统的设计与评估提供参考依据。