| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-15页 |
| ·工作流技术的研究背景 | 第9-10页 |
| ·基于时间Petri 网的工作流的研究 | 第10-12页 |
| ·本文的主要研究内容 | 第12-13页 |
| ·论文的结构安排 | 第13-15页 |
| 第2章 Petri 网理论基础 | 第15-25页 |
| ·Petri 网理论 | 第15-21页 |
| ·Petri 网基础 | 第15-18页 |
| ·模糊Petri 网和时间Petri 网的基本理论 | 第18-21页 |
| ·工作流网基本知识 | 第21-24页 |
| ·工作流网的定义 | 第21页 |
| ·工作流网的基本组件 | 第21-23页 |
| ·关联矩阵与状态方程 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 第3章 基于模糊时间Petri 网的并发层次化模型 | 第25-37页 |
| ·模糊时间Petri 网 | 第25-28页 |
| ·模糊时间Petri 网的定义提出 | 第25-26页 |
| ·并发的相关定义提出 | 第26-28页 |
| ·基于模糊时间的并发层次化模型 | 第28-32页 |
| ·层次化转换算法及描述 | 第29-31页 |
| ·算法的可行性证明 | 第31-32页 |
| ·基于模糊时间的并发层次化模型实例分析 | 第32-35页 |
| ·本章小结 | 第35-37页 |
| 第4章 基于JBPM 实现动态时间并行任务调度 | 第37-48页 |
| ·JBPM 动态时间并行任务设计 | 第37-44页 |
| ·JBPM 引擎 | 第37-41页 |
| ·JBPM 的过程调度 | 第41-42页 |
| ·动态时间并行任务的设计方案 | 第42-44页 |
| ·动态时间并行任务的实现 | 第44-47页 |
| ·分裂过程的实现 | 第45-46页 |
| ·聚合过程的实现 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 第5章 基于FTPN 的工作流模型验证 | 第48-57页 |
| ·基于FTPN 的工作流模型传统分析 | 第48-55页 |
| ·代数分析 | 第51-53页 |
| ·图表分析 | 第53-55页 |
| ·基于FTPN 的工作流模型实验设计 | 第55-56页 |
| ·实验的开发环境 | 第55页 |
| ·实验目的 | 第55页 |
| ·实验数据的设计 | 第55-56页 |
| ·实验结果分析 | 第56页 |
| ·本章小结 | 第56-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-63页 |
| 攻读硕士学位期间承担的科研任务与主要成果 | 第63-64页 |
| 致谢 | 第64-65页 |
| 作者简介 | 第65页 |