| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-10页 |
| ·课题背景与意义 | 第7-9页 |
| ·课题内容和论文结构 | 第9-10页 |
| 第二章 文献综述 | 第10-19页 |
| ·工作流管理系统简介 | 第10-15页 |
| ·工作流技术背景 | 第10页 |
| ·工作流管理系统的体系结构 | 第10-11页 |
| ·工作流管理系统的组成 | 第11-14页 |
| ·工作流过程定义元模型的基本要素 | 第14页 |
| ·工作流管理系统的主要功能 | 第14-15页 |
| ·从用户的角度看工作流管理系统的使用 | 第15页 |
| ·JBPM工作流管理系统综述 | 第15-16页 |
| ·Petri net理论以及在工作流中的应用综述 | 第16-19页 |
| ·经典Petri net概述 | 第16页 |
| ·Petri net在工作流上的应用概述 | 第16-19页 |
| 第三章 一般工作流模型到Petri网模型的转化系统设计 | 第19-40页 |
| ·JBPM商业模型 | 第19-23页 |
| ·JBPM的过程定义 | 第19-21页 |
| ·从工作流管理和工作流管理系统看JBPM | 第21-23页 |
| ·JBPM到Petri net的实体映射 | 第23-28页 |
| ·抽取JBPM中的实体信息 | 第24-25页 |
| ·与4 种实体对应的Petri nets实体模型 | 第25-28页 |
| ·JBPM到Petri net的基本行为结构的映射 | 第28-39页 |
| ·与4 种实体对应的Petri nets实体模型 | 第30-34页 |
| ·JBPM基本行为结构到WF-net | 第34-36页 |
| ·4 种基本执行单元的Petri net建模 | 第36-39页 |
| ·实体映射和结构映射的结合 | 第39-40页 |
| 第四章 工作流过程的Petri net模型的分析 | 第40-51页 |
| ·工作流模型分析介绍 | 第40-41页 |
| ·WF-net的soundness属性 | 第41-45页 |
| ·soundness属性的充要条件 | 第45-46页 |
| ·soundness属性的结构特点 | 第46-51页 |
| ·选择自由的WF-net | 第46-48页 |
| ·对JBPM实现的修正实现 | 第48-51页 |
| 第五章 结论与展望 | 第51-52页 |
| 参考文献 | 第52-56页 |
| 发表论文和科研情况说明 | 第56-57页 |
| 发表的论文: | 第56页 |
| 参与的科研项目: | 第56-57页 |
| 致谢 | 第57页 |