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