基于三维行为关系图的模型一致性检测方法

摘要

在业务流程模型的相似性分析过程中,有时会出现环结构.已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响.以Petri网的多重变迁集为基础,提出一种新的一致性度测量方法.首先通过分析5种行为序列关系来刻画Petri网的变迁之间的相互关系,给出了三维行为关系图的概念;然后对Petri网的三维行为关系图间的关系进行研究,提出了基于Petri网的三维行为关系图的一致性检测方法.理论分析和实例测试均表明了该方法的有效性.