与传统的物理系统不同，这类系统中均存在着大量的离散事件过程，这些过程中的运行规律不能使用物理定律进行描述，而是服从于一些人为的规则；并且往往需要巨大的投资，后期的运行费用也非常昂贵，如何提高系统的利用率和运行效率是决策者、设计者与使用者普遍关注的研究课题，迫切需要在理论方面进行深入的研究。

Petri网是一种面向离散事件系统的建模与分析工具，对于分析和描述系统中的顺序、并发、冲突以及同步等关系具有天然的优势。Petri网可以用图论表示，是一种可视化的工具；使用Petri网建模得到的模型有紧凑的优点；Petri网背后还有强大的数学工具做支撑，有丰富的定理和公式。可达图的研究作为分析Petri网的基本问题，对研究离散事件系统中的问题，如系统避免死锁和活性状态分析等研究大有帮助。论文网

1。2针对Petri网的研究

1。3本文的结构

在Petri网应用愈为广泛的背景下，本文旨在提出一种Petri网可达图的解决方案。

在对Petri网的有关文献中，可达图一直是一种常用的分析手段，利用可达图可对Petri网进行更深入的研究。本文提出了一种输入Petri网模型，利用Matlab软件生成可达标识集，并以此得到可达图的方法。本文的章节如下：

第一章是绪论部分，是对相关背景知识的介绍以及论文工作的简介，叙述了课题的研究意义并介绍了本文各个章节的组成。

第二章介绍了离散事件动态系统和Petri网的相关概念，同时也包括它们的历史以及发展情况，依此可对它们进行一个直观的了解。

第三章着重对Petri网的基础知识进行介绍，给出了Petri网相关知识的定义，以及它的运行规则和部分性质等，这为接下来的研究作了铺垫。

第四章介绍了在算法背后做支撑的理论部分，从中选择了本文要使用的可达图进行具体的研究分析，提出了相关的算法，并使用具体实例进行演示。接着给出了伴随矩阵和状态方程的定义和公式，并给出了求解过程。

第五章使用程序以代数方法生成可达图，并给出了具体的例子展示算法的实现过程。

最后对论文工作进行总结，并提出了后续需要继续进行的工作。

由于本人的水平有限、时间紧促，如若发现文中的不足和错误之处，恳请各位读者批评和指正。

2  离散事件系统和Petri网

2。1 离散事件系统概述

    离散事件系统，即离散事件动态系统(Discrete Event Dynamic System , DEDS )，DEDS本质上属于人造系统的范畴，无论是系统的运行机制还是系统的研究方法，都与人们熟知的连续性概念有所不同。

2。1。1 DEDS的研究背景

最早的关于离散事件动态系统的研究可以追溯到研究排队现象和排队网络的时候。以现在的观点来说，不仅仅是排队论和网络分析，例如计划评审和调度排序等方法所面对的研究对象都可归入DEDS的范畴。

1980年前后，对离散事件动态系统的研究出现兴起，随着信息处理技术、计算机技术和机器人技术等的发展完善和广泛应用，在通信、制造、交通管理、军事指挥等领域相继出现了一批反映技术发展方向的人造系统，其典型例子如柔性生产线或装配线、大规模计算机和通信网络、空中或机场交通管理系统、军事指挥中的C3I系统等；在这类人造系统中，对系统行为进程起决定作用的是一批离散事件，而不是连续变量，所遵循的是一些复杂的人为规则，而不是物理学定律[4]。正是基于对这类人造系统行为和性能研究的需要，推动着离散事件动态系统理论的形成和发展。