基于网进程的模型一致性分析方法

摘要：

在业务流程模型相似性分析过程中,有时会出现环结构,从而导致内部行为关系一致但网的进程不一致的情况.已有的方法大多不考虑环结构,忽略了环结构对模型一致性分析的影响.以行为轮廓序关系为基础,研究各个进程间的内部行为关系,并刻画Petri网的进程段之间的相互关系,给出了进程视图的概念;通过对Petri网的进程段外部间的关系进行研究,提出了基于Petri网的进程视图的一致性分析方法,以一致的进程视图与整个进程的比值作为两个模型的一致性度.理论和实例分析表明了该方法的有效性.

关键词：Petri网、环结构、行为轮廓、一致性度、进程视图

所属期刊栏目：43

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

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

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

页数：共5页

页码：242-245,251