利用有限自动机所识别的语言构造petri网的可达性树

可达性树（reachabilty tree）表示petri网的可达标识集。它既和petri网的结构有关，也和petri网的初始标识有关。通过分析petri网的可迭树，可以了解petri网的许多重要性质。因此如何从给出的petri网图转换成奇达性树，是进一步研究petri网的关键。基于此，本文利用有限自动机所识别的语言给出了一种构造petri网可达性树的方法。