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

摘要：

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

关键词：Petri网、一致性测量、三维行为关系图、环、多重变迁集

所属期刊栏目：45

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金项目61572035,61272153

在线出版日期：2018-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：156-160,165