声明
1绪论
1.1 过程挖掘介绍
1.2 国内外研究综述
1.3 本文研究内容
1.4 本文结构
2基础知识
2.1 事件日志
2.2 Petri网
2.3 逻辑Petri网
2.4 变迁系统
3基于逻辑Petri网的过程发现方法
3.1 传统过程发现算法存在的问题
3.2 通过日志得到逻辑表达式
3.3 过程发现算法
4基于逻辑Petri网的计算最优校准的方法
4.1 模型与逻辑Petri网的乘积网
4.2 计算最优校准的启发式函数
4.3 一种计算最优校准的算法
5仿真实验与分析
5.1 发现算法实验
5.2校准方法实验
6总结与展望
参考文献
攻读硕士期间主要成果
致谢