Petri网是一种适宜描述和研究分布式、异步、并发现象的系统工具,已经在计算机网络、通讯系统、计算机体系结构、分布式系统、电路设计与验证、生产过程控制、自动化制造系统和协议工程等诸多领域得到广泛应用。基于 Petri网的生产调度就是 Petri网应用研究的重要问题之一。然而,受状态组合复杂性影响,常规的几种Petri网分析方法都存在较大的局限性,能处理的问题规模及复杂度相当有限,这严重制约了 Petri方法的实用性。符号计算方法是解决状态组合复杂性问题的一种新的有效技术。　　本文对Petri网的常规分析方法、基于Petri网的生产调度问题的传统求解方法以及有序二叉决策图(OBDD-Ordered Binary Decision Diagram)等进行了系统分析和深入研究;在深入探讨Pastor等给出的有界Petri网符号分析方法的基础上,对其中的核心算法—映像(image)计算算法进行了改进,给出了一种不需额外引入另一套变量的有界Petri网image计算算法;并把Petri网符号分析技术和基于Petri网的FMS调度问题结合起来进行了研究,给出了一种有界Petri网模型下FMS生产调度问题的符号OBDD求解算法。此外,本文还对有界Perti网符号分析技术进行扩展,给出了针对赋时Petri网的一种符号分析算法。实验结果表明:基于OBDD的Petri网符号分析算法及FMS生产调度问题的符号求解算法可以有效改善问题的空间复杂度,在一定程度上缓解了问题的状态组合复杂性,能处理较大规模Petri网模型问题。