| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 注释表 | 第10-11页 |
| 第一章 绪论 | 第11-14页 |
| ·企业模型自动化和工作流建模的研究现状 | 第11-12页 |
| ·课题的研究工作 | 第12-13页 |
| ·论文组织结构 | 第13-14页 |
| 第二章 工作流技术分析 | 第14-24页 |
| ·工作流的定义 | 第14页 |
| ·工作流模型 | 第14-17页 |
| ·工作流模型的基本概念 | 第14-15页 |
| ·工作流模型的基本结构 | 第15-17页 |
| ·PETRI 网基本理论 | 第17-19页 |
| ·引入Petri 网的原因 | 第17页 |
| ·Petri 网的基本定义 | 第17-19页 |
| ·Petri 网的基本特性 | 第19页 |
| ·工作流网 | 第19-23页 |
| ·工作流网的定义 | 第19-20页 |
| ·工作流网的基本结构 | 第20-23页 |
| ·工作流建模实例 | 第23页 |
| ·本章小结 | 第23-24页 |
| 第三章 系统的体系结构 | 第24-27页 |
| ·系统的功能需求 | 第24页 |
| ·系统的开发环境 | 第24-25页 |
| ·系统的体系结构 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第四章 PETRI 网核心组件及控制中心的设计和实现 | 第27-45页 |
| ·PETRI 网核心组件的设计和实现 | 第27-34页 |
| ·Petri 网核心组件设计的基本思想 | 第27-29页 |
| ·Petri 网核心组件的实现 | 第29-31页 |
| ·几种常用的 Petri 网核心组件的扩展属性 | 第31-34页 |
| ·应用程序控制器的设计和实现 | 第34-41页 |
| ·Petri 网类型管理 | 第34-37页 |
| ·Petri 网的输入输出管理 | 第37-40页 |
| ·程序资源管理 | 第40-41页 |
| ·几种具体的 PETRI 网实现 | 第41-44页 |
| ·基本 Petri 网的实现 | 第41-42页 |
| ·时间 Petri 网的实现 | 第42-44页 |
| ·随机 Petri 网的实现 | 第44页 |
| ·本章小结 | 第44-45页 |
| 第五章 基于工作流网的应用 | 第45-75页 |
| ·PETRI 网图形编辑器 | 第45-50页 |
| ·Petri 网图形编辑器的功能 | 第45页 |
| ·Petri 网图形组件 | 第45-47页 |
| ·Petri 网编辑器的实现 | 第47-50页 |
| ·工作流网仿真工具 | 第50-53页 |
| ·工作流网仿真的基本过程 | 第51页 |
| ·工作流自动仿真的实现 | 第51-52页 |
| ·工作流手动仿真的实现 | 第52-53页 |
| ·工作流网合理性分析工具 | 第53-57页 |
| ·工作流网合理性分析 | 第53-54页 |
| ·工作流网可达树的数据结构 | 第54-55页 |
| ·工作流网可达树的构造 | 第55-57页 |
| ·局限性 | 第57页 |
| ·工作流网性能分析工具 | 第57-64页 |
| ·随机工作流网 | 第57-59页 |
| ·数据结构的设计 | 第59页 |
| ·性能分析的具体实现 | 第59-64页 |
| ·工作流网转化为XPDL 的工具 | 第64-74页 |
| ·XPDL 简介 | 第64-65页 |
| ·工作流网转化为 XPDL 的方法 | 第65页 |
| ·工作流网中的变迁转化为 XPDL 中的活动 | 第65-71页 |
| ·工作流网中活动之间关系向 XPDL 的转化 | 第71页 |
| ·工作流网向 XPDL 转化的实现 | 第71-73页 |
| ·局限性 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第六章 结束语 | 第75-76页 |
| 致谢 | 第76-77页 |
| 攻读硕士学位期间发表的论文 | 第77-78页 |
| 参考文献 | 第78-80页 |