本文以我校学科群实验中心的自动化物流系统为研究平台,针对该物流系统的任务规划提出了一种新的Petri网分解方法,对所建的物流系统的Petri网模型∑进行分解,分析判断出此物流系统的任务规划合理有效可避免死锁。在此结论的基础上,完成了我校自动化物流系统的控制系统开发,实现了出库和移库功能。论文介绍并分析了我校学科群实验中心自动化物流系统的硬件组成。在了解了各核心部分结构和参数的基础上采用Petri网理论对该物流系统建立Petri网模型∑,并对该模型各要素给出了定义。针对自动化物流系统的任务规划,提出一种新的Petri网分解方法——基于变迁指标和库所指标融合的Petri网分解方法。推导出了最小子网和原Petri网之间的可重复性和有界性之间的关系,提出并证明一些相应的推论。对所建立的Petri网模型∑先进行基于变迁指标的分解得出物理含义明确的子网,再采用基于库所指标的分解得到融合了T网和S网特性的最小子网。通过分析该最小子网,得出Petri网模型的活性和有界性,据此推断出物流系统的任务规划合理有效。该方法大大减少了直接分析子网或原Petri网模型的计算量,可避免全局或局部死锁,为系统良好运行提供了依据。以物流系统Petri网模型的分析结果为依据,通过设计数据库、设计操作界面、根据所建立的Petri网模型∑开发出库移库功能的软件完成了该物流系统的控制系统开发。经过多次现场调试及实验证明本文所开发的自动化物流系统的控制系统能够正常有效的运行。堆垛机能够准确的执行出库和移库指令(入库功能在07级研究生秦国柱的论文中完成)。