基于Petri网可达图的业务对齐方法 |
| |
引用本文: | 韩咚,田银花,杜玉越,张琴.基于Petri网可达图的业务对齐方法[J].计算机集成制造系统,2020,26(6):1589-1606. |
| |
作者姓名: | 韩咚 田银花 杜玉越 张琴 |
| |
作者单位: | 山东科技大学 矿业与安全工程学院,山东 青岛 266590;山东科技大学 智能装备学院,山东 泰安 271000;山东科技大学 计算机科学与工程学院,山东 青岛 266590 |
| |
基金项目: | 泰安市科技发展计划;山东省重点研发计划资助项目;山东省"泰山学者"建设工程专项 |
| |
摘 要: | 为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模型及其可达图;最后,给出算法在可达图中查找出事件日志中全部迹与过程模型之间基于给定代价函数的一个最优对齐和所有最优对齐。从理论上证明了该方法的适用性与有效性。通过仿真实验,验证了该方法的可行性与优越性。
|
关 键 词: | Petri网 事件日志 过程模型 业务对齐 可达图 |
本文献已被 CNKI 万方数据 等数据库收录! |
|