基于obdd的符号petri网分析与fms调度算法研究-计算机应用技术专业论文.docxVIP

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