现有的模型相似性研究主要针对未发生结构或者行为变化的源模型进行分析,集中于在模型结构、变迁发生序列、变迁发生关系等角度进行相似性度量,很少考虑抽象模型与源模型相似性程度的大小。首先基于已有的抽象化简规则计算出抽象模型,其次利用Petri网紧密度计算公式计算出模型紧密度数值,进而分析抽象模型与源模型的相似性大小。同时,也进一步验证了已有抽象规则的有效性。