1 绪论
1.1 研究背景与意义
1.2 研究现状
1.3 研究动机与贡献
1.4 本书内容安排
2 基本知识
2.1 事件日志
2.2 建模工具
2.3 两Petri网的乘积
2.4 对齐和最优对齐
2.5 本章小结
3 基于工作流网基本结构的相似最优对齐计算方法
3.1 相似最优对齐的分析
3.2 最优对齐相似关系
3.3 基于质数权值的最优对齐分组算法
3.4 相似最优对齐代表项的计算
3.5 实例分析与实验仿真
3.6 本章小结
4 基于最优对齐树的快速对齐方法
4.1 0AT方法的执行过程分析
4.2 最优对齐的查找算法
4.3 0AT方法的性能分析
4.4 仿真实验
4.5 0AT方法的适用情况分析
4.6 本章小结
5 基于最优对齐图的精简对齐方法
5.1 最优对齐图的生成方法
5.2 基于最优对齐图方法的性能分析
5.3 最优对齐的查找过程分析
5.4 仿真实验
5.5 本章小结
6 批量迹与过程模型之间基于两Petri网乘积的对齐方法
6.1 日志模型与过程模型乘积的变迁系统
6.2 批量迹与过程模型之间最优对齐的查找算法
6.3 AoPm方法性能分析
6.4 仿真实验
6.5 本章小结
7 总结与展望
7.1 本书主要成果
7.2 进一步研究工作
参考文献
展开