自动化立体仓库(AS/RS)作为现代物流系统的一个重要组成部分，正越来越广泛的应用到制造和流通领域。而研究立体仓库的调度系统对提高自动化立体仓库的运行效率具有举足轻重的作用。因此，本文对自动化立体仓库的调度问题进行了以下几个方面的研究：　　 1.针对自动化立体仓库调度系统具有离散性和事件驱动的特点，为了防止由于结点过多造成的组合爆炸，结合扩展的Petri 网和层次化的思想，引出HTCPN(Hierarchical TimedColored Petri nets)建模技术，为自动化立体仓库调度系统提出HTCPN 建模方法。　　 2.利用CPN Tools 建模工具和复合建模技术HTCPN，为自动化立体仓库调度系统建立了固定货架、输送、分拣三个子系统模型，并对所建立的模型进行可达性分析，验证了该模型的状态可达。　　 3.在对遗传算法和模拟退火算法分析研究的基础上，提出了一种模拟退火与遗传算法相结合的GASA 调度算法，对立体仓库的调度规则进行编码，利用遗传算法中遗传、交叉、变异的思想对调度规则进行优化，设定了模拟退火算法的比例阈值，针对较优秀的染色体实施模拟退火操作，最终得到一组优化的规则集。　　 4.给出了GASA 算法对模型规则优化的一个算例。仿真结果表明，优化后的调度规则更能明显提高系统的综合利用率。