可覆盖性图

（计算机科学技术）

可覆盖性图（coverability graph），计算机科学技术名词，把一个无界佩特里网的可覆盖性树中标注相同的节点合并成一个节点，所变成的一个图称为该佩特里网的可覆盖性图。