分类号 密级 UDC 编号 中国科学院研究生院硕士学位论文Petri 网系统的可达性研究吴 文 渊指导教师 杨 路 研究员 中国科学院成都计算机应用研究所 申请学位级别 硕 士 学科专业名称 计算机软件及理论论文提交日期 论文答辩日期 培养单位 中国科学院成都计算机应用研究所 学位授予单位 中国科学院研究生院 答辩委员会主席 I摘 要 .IIABSTRACT .IV前 言 .VI第一章 背景知识 .11.1 历史与发展 .11.2 研究方法及应用 .11.3 Petri 网的直观理解 .21.4 Petri 网的形式化描述 .2第二章 Petri 网与代数系统的关系 .62.1 Petri 网模型映射到代数系统 .62.2 基于 Grobner 基的 Petri 网系统性质分析 .82.3 Maple 符号计算软件介绍14 .122.4 计算代数方法的局限性 .14第三章 能量优化模型 .153.1 Petri 网系统映射到线性空间 .153.2 弱可达性及其分析 .173.3 能量优化模型建立和分析 .20第四章 可达性的神经网络解法 .244.1 神经网络介绍15 .244.2 Hopfield 网络模型 .264.3 能量优化模型的神经网络解法 .304.4 算法的实现 .32第五章 综合分析方法 .345.1 几种方法的综合比较 .345.2 综合分析方法描述 .345.3 综合分析方法总结 .36第六章 应用实例分析 .38结尾 问题与展望 .48致 谢 .49附 录 .50IIPetri 网系统的可达性研究作者：吴文渊 专业方向：计算机软件及理论 导师：杨路研究员摘 要本文对 Petri 网系统的可达性问题做了综合性的阐述和分析， 提出了利用能量优化方法来解决可达性问题，并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究。作者的主要工作在以下四个方面：1. 给出了 Petri 网到线性空间的映射规则及其可达性的等价性定理；2. 建立了能量优化模型, 将可达性判断化为优化问题；3. 用神经网络来求解能量优化模型；4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法。本文的特点就在于提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断解决方案。在前言中，着重阐述了可达性问题的研究意义，主要困难和目前使用的五类研究方法，在做了简单的评价后，引出我们的研究目的和研究成果。在第一章，简要回顾了 Petri 网模型的背景知识和研究的历史与发展状况，研究方法和应用范围等背景知识。之后，又介绍了 Petri 网模型以及相关知识，将该领域的知识框架做了大体说明。在第二章，主要介绍了计算代数方法。先描述了将 Petri 网模型映射到代数系统的基本思想，Petri 网模型的行为特征对应的代数表示，将可达性问题归结为代数问题。接着讲解了必要的计算代数方面的基础知识，主要讲解了计算代数方法的核心工具Grobner 基，以及计算 Grobner 基的著名数学软件 Maple 的使用方法和 Grobner 基软件包。最后，分析了计算代数方法的局限性。从第三章开始大部分是作者的工作，在第三章中主要给出了利用能量优化模型及其可达性的等价性定理来解决可达性问题。先说明了该方法思想的出发点和形成过程，之后在该模型下自然诱导出弱可达性概念及其性质。提出利用整数规划方法来处理弱可达性条件，并介绍了相关的数学软件。最后描述了能量优化模型建立的过程和方法。第四章是针对第三章的能量优化模型提出神经网络的模型计算方案。首先，叙述了神经网络的基础知识，神经计算的特点和应用。之后介绍了神经网络的一种全连接模型Hopield 神经网络，及 Hopield 网络在能量优化模型的应用。接着对 Hopield 网络求解能量优化模型的能量函数和相关参数做了计算和分析。最后对神经计算的软件硬件实现做了简单的说明。