基于事件日志的工作流模型挖掘

摘要	第1-6页
ABSTRACT	第6-8页
目录	第8-10页
第1章 绪论	第10-14页
·工作流的研究背景	第10-11页
·国内外研究现状	第11-13页
·主要工作及内容安排	第13页
·本章小结	第13-14页
第2章 工作流相关技术介绍	第14-25页
·工作流的相关定义	第14-15页
·工作流管理及其Petri网表示意义	第15-16页
·Petri网理论基础	第16-24页
·传统Petri网定义	第16-18页
·Petri网的动态性质	第18-19页
·Petri网的分析方法	第19-20页
·工作流网(WF-net)	第20-24页
·本章小结	第24-25页
第3章 过程模型挖掘	第25-37页
·过程模型	第25-26页
·过程模型构建	第26-35页
·任务节点之间的控制关系	第26-28页
·构建过程模型的控制结构	第28-35页
·映射为Petri网的子网—工作流网	第35页
·本章小结	第35-37页
第4章 验证正确性	第37-44页
·基于Petri网的理论验证	第37-38页
·实验验证及其分析	第38-43页
·本章小结	第43-44页
第5章 工作流组合	第44-50页
·带有抑制弧的网系统	第44-45页
·工作流组合的Petri网表示	第45-49页
·本章小结	第49-50页
第6章 总结与展望	第50-51页
·本文工作总结	第50页
·未来展望	第50-51页
致谢	第51-52页
参考文献	第52-55页
附录	第55-56页
详细摘要	第56-59页