自动化立体仓库系统(Automated Storage and Retrieval System，AS/RS)是在不直接进行人工干预的情况下，自动地存储或取出货物的系统；是使用多层货架、在巷道的任何货区的货位下存取货物的叉车和计算机控制、信息通信的系统。任务规划是自动化立体仓库研究中的一个重点。因此，研究系统的稳定性和任务规划的合理性是十分必要的。 论文首先介绍并分析了西安科技大学学科群实验中心自动化物流系统的硬件组成。在了解各部分结构和参数的基础上，建立Petri网模型对该自动化立体仓库的任务规划进行描述，并给出了该模型各要素对应的定义。 其次，针对自动化立体仓库的任务规划以及所建立Petri网模型的复杂性，在对基本Petri网和有色Petri网(CPN)分析比较的基础上，提出了采用有色Petri网对自动化立体仓库进行建模，并结合实际系统给出了CPN模型描述性定义，然后在CPN Tools环境下分别对系统出、入库两种操作和出、入库和移库三种操作进行仿真，通过对系统模型状态空间的分析，验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性，且无死锁，进一步论证了该物流系统任务规划的合理性，为整个系统的稳定性和多任务的协调操作奠定了理论基础。 最后，在系统稳定性和任务规划合理性的基础上，利用西安科技大学学科群实验中心自动化物流系统这一现有的硬件平台，通过设计的数据库和操作界面，拓展开发了物流系统的流水线控制系统。经过多次现场调试证明了所开发的大部分流水线系统构件（出库台、皮带线、转角机，滚筒线）均可以良好运行。

AS/RS(Automated Storage and Retrieval System) is a system which can store and get out goods automated without direct human intervention. And it’s also a system of the use of multi-storey shelves, forklift which can access to goods in the cargo space under the cargo area of the roadway, computer control, information and communication. Task planning is a key point in the automated warehouse research. So, it’s very necessary to study the stability and the rationality of task planning of the system. Firstly, the hardware of the automatic logistics system in Subjects Experimental Center of XUST is introduced and analysed in the thesis. Based on the understanding of each core part’s structure and parameters, the Petri Net model is established to describe the task planning of automated warehouse, and the definition of each element is given. Secondly, aiming at the task planning of automated warehouse and the complicacy of the Petri Net model established, and based on the analysis and comparison of Petri Net and Colored Petri Net (CPN), a method of CPN is proposed to model of the automated warehouse, and then the descriptive definition of CPN model is given combining with the actual system. The two operations (Inhouse and Outhouse) and the three operations (Inhouse、Outhouse and Movehouse) of the system are simulated in the CPN Tools environment in the paper. The analysis of state space of the system model verifies the universal of CPN applied in Logistics System, and the system has the properties of boundedness and liveness and no deadlock, which demonstrates the rationality of task planning of the system further, and establishes the foundation of the stability and the coordinated operation of multi-tasking of the whole system.□ Finally, based on the stability and the rationality of task planning of the system and the available resources, the transline control system of automatic logistics system is expanded and developed through the database and operation interface designed. After many practical testing, it is proved that the most part of transline developed(Outtable、Pipeline、Director and Roller)can work well.