基于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 网符号分析技术进行扩展，给出了 针对赋时 Petri 网的一种符号分析算法。实验结果表明：基于 OBDD 的 Petri 网符号分 析算法及 FMS 生产调度问题的符号求解算法可以有效改善问题的空间复杂度，在一 定程度上缓解了问题的状态组合复杂性，能处理较大规模 Petri 网模型问题。 关键词：Petri 网；可达集；调度；符号算法；image 计算；有序二叉决策图(OBDD) ii万方数据 ii 万方数据 Abstract Abstract Petri nets are a promising tool for describing and studying information processing systems that are characterized as being distributed, asynchronous and concurrent. Petri nets have been used in many fields such as computer networks, communication systems, computer architecture, distributed systems, design and verification of digital circuits, production control, automated manufacturing systems and protocol engineering. Petri nets based production scheduling is one of important problems with regard to the application research of Petri nets. However, the conventional analysis methods of Petri nets suffer from the combinatorial complexity badly, which prevents the Petri nets from dealing with more complicated and larger-scale problems. Symbolic technique is a new effective approach to combat this kind of problems. This thesis carries out a systematical analysis and an in-depth research on conventional analysis methods of Petri nets, classical algorithms for production scheduling problems of Petri nets model and OBDD (Ordered Binary Decision Diagram). The symbolic OBDD analysis technology of bounded Petri nets is discussed and an improved image computation algorith