循环并发结构的过程模型修正方法
来源：计算机集成制造系统杂志2019年第4期北京时间：
作者：滕苑秀,杜玉越,王路
单位：山东科技大学计算机科学与工程学院
摘要：过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正。对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型精确度较低。因此,针对循环并发结构,提出一种基于逻辑Petri网的动态模型修正方法。基于过程树,提出并发变迁集概念,通过连续日志动作的标识库所集与相应变迁前集之间的关系,进行偏差定位,并根据逻辑Petri网对模型进行动态修正。最后,通过实例验证了所提修正方法的正确性和有效性。
关键词：过程模型修正,循环并发结构,逻辑Petri网,一致性检测,校准
基金资助：国家自然科学基金资助项目(61170078,61472228);山东省泰山学者建设工程专项资助项目;山东省重点研发计划资助项目(2018GGX101011)。
