| 第一章 绪论 | 第1-14页 |
| 1．1 研究背景 | 第8-10页 |
| 1．2 研究现状 | 第10-11页 |
| 1．3 研究内容和成果 | 第11-13页 |
| 1．3．1 本文的主要研究内容 | 第11-12页 |
| 1．3．2 本文的主要研究成果 | 第12-13页 |
| 1．4 论文结构 | 第13-14页 |
| 第二章 Petri网与工作流网 | 第14-21页 |
| 2．1 Petri网概述 | 第14页 |
| 2．2 经典 Petri网与高级 Petri网 | 第14-19页 |
| 2．2．1 经典 Petri网 | 第14-16页 |
| 2．2．2 高级 Petri网 | 第16-19页 |
| 2．3 Petri网作为理论工具的理由 | 第19-20页 |
| 2．4 工作流网对 Petri网的扩展 | 第20-21页 |
| 第三章 一种基于链表遍历方式的业务流程映射算法 | 第21-36页 |
| 3．1 概述 | 第21页 |
| 3．2 Aalst的任务结构映射算法 | 第21-24页 |
| 3．2．1 基本定义 | 第22页 |
| 3．2．2 任务结构到经典 Petri网的映射算法 | 第22-23页 |
| 3．2．3 经典 Petri网到工作流网的映射 | 第23-24页 |
| 3．3 链表遍历方式的映射规则 | 第24-33页 |
| 3．3．1 基本定义 | 第24-26页 |
| 3．3．2 映射规则 | 第26-32页 |
| 3．3．3 链表遍历方式的映射算法 | 第32-33页 |
| 3．4 算例 | 第33-36页 |
| 第四章 基于图规约法的工作流网验证算法 | 第36-51页 |
| 4．1 概述 | 第36页 |
| 4．2 基于图规约法的验证算法 | 第36-48页 |
| 4．2．1 基本定义 | 第36-37页 |
| 4．2．2 几种基本结构的图规约规则 | 第37-47页 |
| 4．2．3 基于图规约法的验证算法 | 第47-48页 |
| 4．3 算例 | 第48-51页 |
| 第五章 基于类邻接表建模工具的实现 | 第51-61页 |
| 5．1 建模工具体系结构 | 第51-53页 |
| 5．1．1 元数据输出流程 | 第51-52页 |
| 5．1．2 建模工具软件体系结构 | 第52-53页 |
| 5．2 元数据的输出 | 第53-57页 |
| 5．2．1 类邻接表的数据结构 | 第53-56页 |
| 5．2．2 业务流程有向图的XPDL映射 | 第56-57页 |
| 5．3 模型检验 | 第57-59页 |
| 5．3．1 业务流程映射 | 第57-58页 |
| 5．3．2 工作流网验证 | 第58-59页 |
| 5．4 模型定义工具示例 | 第59-61页 |
| 第六章 总结与展望 | 第61-63页 |
| 6．1 总结 | 第61-62页 |
| 6．2 展望 | 第62-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66页 |