| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 绪论 | 第6-8页 |
| 1.1 研究背景 | 第6页 |
| 1.2 研究现状 | 第6页 |
| 1.3 本文工作与创新点 | 第6-7页 |
| 1.4 本文内容安排 | 第7-8页 |
| 第二章 相关工作与基础概念 | 第8-12页 |
| 2.1 相关工作 | 第8页 |
| 2.2 Petri网 | 第8-9页 |
| 2.3 工作流网(workflow net) | 第9-11页 |
| 2.4 跨组织业务流程模型 | 第11-12页 |
| 第三章 环境的构造以及行为一致性的标准 | 第12-25页 |
| 3.1 环境 | 第13-15页 |
| 3.2 构造环境 | 第15-21页 |
| 3.3 基于环境验证行为一致性 | 第21-25页 |
| 第四章 抽取公共流程 | 第25-50页 |
| 4.1 基本结构 | 第25-26页 |
| 4.2 抽取规则及正确性证明 | 第26-45页 |
| 4.3 案例 | 第45-50页 |
| 第五章 工具实现与对比实验 | 第50-56页 |
| 5.1 工具实现 | 第50-51页 |
| 5.2 对比实验 | 第51-56页 |
| 第六章 总结与展望 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 致谢 | 第59页 |