基于Petri网基本结构的相似最优校准计算方法

来源：计算机集成制造系统杂志2016年第2期北京时间：

作者：田银花,杜玉越,韩咚,刘伟

单位：1.山东科技大学信息科学与工程学院2.山东科技大学信息工程系

摘要：为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优校准。分析发现有些最优校准包含的移动集合完全相同,只是移动出现顺序不同,定义为相似最优校准。通过对相似最优校准的性质进行分析得出定理与推论。定义最优校准相似关系和等价关系,给出了最优校准集合的划分方法,该方法可选取代表项,体现迹与过程模型之间的所有偏差。通过分析四种工作流模式提出多阶段校准算法,用于求解Petri网模型与约束迹之间相似最优校准代表项。仿真实验例证了该相似最优校准方法的正确性和有效性。

关键词：迹,Petri网模型,相似最优校准,工作流,校准算法

基金资助：国家自然科学基金资助项目(61170078,61472228);山东省自然科学基金资助项目(ZR2014FM009,BS2014DX013);山东省泰山学者建设工程专项经费资助项目。