基于扩展的高级Petri网建模及分析技术的研究
| 第一章 绪论 | 第1-12页 |
| ·问题背景 | 第8-9页 |
| ·课题依据 | 第8页 |
| ·国内外研究状况 | 第8-9页 |
| ·论文研究意义及研究内容 | 第9-11页 |
| ·项目来源 | 第9-10页 |
| ·论文研究内容 | 第10-11页 |
| ·论文研究的意义 | 第11页 |
| ·论文的内容结构 | 第11-12页 |
| 第二章 工作流管理技术 | 第12-19页 |
| ·工作流技术的出现和发展 | 第12-13页 |
| ·工作流基本概念 | 第13-16页 |
| ·工作流标准参考模型 | 第16-18页 |
| ·小结 | 第18-19页 |
| 第三章 基于扩展PETRI 网的工作流建模技术 | 第19-29页 |
| ·工作流建模概述 | 第19-21页 |
| ·现有工作流建模理论与方法 | 第19-20页 |
| ·基于Petri 网的工作流建模 | 第20-21页 |
| ·PETRI 网的基本理论 | 第21-25页 |
| ·传统Petri 网 | 第21-22页 |
| ·工作流网 | 第22-25页 |
| ·扩展的高级PETRI 网 | 第25-26页 |
| ·应用实例建模 | 第26-28页 |
| ·系统简介和技术背景 | 第26页 |
| ·关键业务的轻量级工作流引擎 | 第26-27页 |
| ·基于扩展的高级Petri 网的过程建模 | 第27-28页 |
| ·小结 | 第28-29页 |
| 第四章 过程定义 | 第29-43页 |
| ·过程描述语言 | 第29-32页 |
| ·WPDL＆XPDL | 第29-30页 |
| ·元模型 | 第30-32页 |
| ·过程模型的定义 | 第32-36页 |
| ·XPDL 定义过程模型 | 第32-35页 |
| ·解析XML 数据 | 第35-36页 |
| ·几个关键问题的处理 | 第36-42页 |
| ·工作流事务问题的处理 | 第36-41页 |
| ·并发控制问题的处理 | 第41-42页 |
| ·小结 | 第42-43页 |
| 第五章 基于PETRI 网的工作流模型的分析技术 | 第43-67页 |
| ·分析技术 | 第43页 |
| ·定性分析技术 | 第43-51页 |
| ·可达性分析 | 第43-44页 |
| ·结构分析 | 第44-49页 |
| ·WF-net 的组合特性 | 第49-51页 |
| ·定量分析技术 | 第51-66页 |
| ·排队论 | 第52页 |
| ·马尔可夫分析方法 | 第52-62页 |
| ·仿真分析技术 | 第62-66页 |
| ·小结 | 第66-67页 |
| 第六章 主要结论和进一步研究工作 | 第67-70页 |
| ·主要结论 | 第67-69页 |
| ·进一步研究工作 | 第69-70页 |
| 参考文献 | 第70-75页 |
| 致谢 | 第75-76页 |
| 附录 | 第76页 |
