基于逻辑Petri网的模型修正方法
来源：计算机集成制造系统杂志2018年第7期北京时间：
作者：王媛媛,杜玉越,祁宏达
单位：山东科技大学计算机科学与工程学院
摘要：为了解决现有模型修正方法仅考虑拟合度,而忽略精确度以及简洁度等指标的问题,提出一种基于逻辑Petri网的模型修正技术。利用已有的一致性检测技术计算最优校准,并通过标识所在库所定位偏差位置。给出了逻辑校准和逻辑最优校准的定义,并提出一种基于最优校准的计算拟合度的方法。将本文所提方法与Fahland方法进行对比分析,表明本文修正方法的拟合度和精确度更高,能够更好的修正带有复杂循环结构的流程。最后,通过仿真实验证明了方法的有效性。
关键词：校准,偏差,逻辑Petri网,逻辑校准,模型修正
基金资助：国家自然科学基金资助项目(61170078,61472228);山东省泰山学者建设工程专项资助项目;山东省自然科学基金资助项目(ZR2014FM009);山东科技大学科技创新资助项目(SDKDYC170224)。
