可达性树

可达性树（reachability tree），计算机科学技术名词，若把无界佩特里网的可覆盖性树的构造算法应用于有界佩特里网Σ，所得到的树结构中的各个结点的标注中不会出现无界量符号 ω ，而且Σ的每个可达标识都会出现在树的某个结点标注中，这个树结构就称为Σ的可达性树。