可覆盖性树

可覆盖性树（coverability tree），计算机科学技术名词，为了用有限形式来描述无界网系统的运行情况，引入了无界量符号ω，并设计了算法来构造一个有限树（树中的每个节点都用一个标识向量所标注），使得每个可达标识都可被树中某节点的标识向量覆盖，该有限树就称为这个无界佩特里网的可覆盖性树。