活的单支Petri网的一个可达性判定方法

摘要

可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石,许多Petri网的其他问题都可以通过其可达性来表述。已有文献提出通过解petri网的状态方程并判定对应与其解的变迁序列是否可从初始标识引发来分析petri网的可达性,这往往有一定的困难.本文给出一个活Petri网子类活的单支petri网,并给出它的一个可达性判定方法。