Petri网的改良可达树及可达性判定

摘要

可达性是Petri网的最基本的动态性质之一.它是研究Petri网其它动态性质的基石,许多Petri网的其他问题都可以通过其可达性来表述.因此,可达性判定问题Petri网理论研究的一个重要课题.已有文献提出通过解petri网的状态方程并判定是否存在以它的某个解为发生数向量的合法引发序列来分析petri网的可达性,这往往有一定的困难.另外,有些文献提出通过构造Petri网的可达树或可覆盖树来分析其可达性,但其中无界量符号ω的引入导致了无界Petri网运行过程中的信息丢失,使其可达性无法得到判定.众所周知,对于有界Petri网,通过构造其可达性树或可达标识图来判定其可达性是容易的.但对于大量存在的无界Petri网,找到一个能判定其可达性的一般性算法却不太容易.本文通过寻求一个可达性树的适当改良而令无界Petri网运行过程中的信息丢失减小,并利用这个改良的可达性树给出一个任意Petri网(包括无界Petri网)的可达性判定方法.

目录

文摘

英文文摘

声明

1绪论

1.1 Petri网概述

1.2 Petri网可达性研究现状及课题的提出

1.3本文所做工作及其内容安排

2 petr i网基本知识

2.1 Petri网的基本概念

2.2 Petri网的动态性质

2.3 Petri网的基本分析方法

3改良可达树IRT

3.1改良可达树IRT的描述性介绍

3.2改良可达树IRT的构造算法

4 Petri网的可达性判定

4.1 Petri网可达性判定算法的描述性介绍

4.1.1 结合Vi及其前置结点中不存在抑止源结点的结点Vi处可达性分析

4.1.2 结合Vi及其前置结点中存在抑止源结点的结点Vi处可达性分析

4.2 Petri网的可达性判定算法

5结束语

5.1本文所做的主要工作总结

5.2后续研究课题展望

附录A

致谢

参考文献