可达性图

（计算机科学技术）

可达性图（reachability graph），计算机科学技术名词，将一个有界佩特里网Σ的可达性树中标识向量相同的结点合并成一个，所得到的有向图称为Σ的可达性图。