基于Petri网的工作流模型的研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-15页 |
| ·工作流技术产生的历史必然性 | 第7-8页 |
| ·工作流技术的研究及发展 | 第8-9页 |
| ·工作流技术的研究课题 | 第8页 |
| ·工作流技术的发展趋势 | 第8-9页 |
| ·Petri网理论在工作流模型中的应用 | 第9-11页 |
| ·目前工作流技术中所存在的不足 | 第11-13页 |
| ·研究意义 | 第13页 |
| ·论文的组织和安排 | 第13-15页 |
| 第二章 基于Petri网的工作流模型建模 | 第15-29页 |
| ·工作流的基本概念和定义 | 第15-16页 |
| ·Petri网的基本概念和定义 | 第16-19页 |
| ·Petri网的基本概念 | 第16-17页 |
| ·Petri网的重要性质 | 第17-18页 |
| ·Petri网的分析方法 | 第18-19页 |
| ·Petri网用于工作流建模的可行性 | 第19-22页 |
| ·过程建模方法的评价标准 | 第19页 |
| ·工作流建模的主要方法 | 第19-20页 |
| ·Petri网方法 | 第20-21页 |
| ·建模方法的综合比较 | 第21-22页 |
| ·基于Petri网的工作流模型建模 | 第22-26页 |
| ·工作流元模型 | 第22-24页 |
| ·元模型到基本Petri网的映射 | 第24-26页 |
| ·面向对象Petri网 | 第26-28页 |
| ·小结 | 第28-29页 |
| 第三章 工作流模型的合理性验证 | 第29-37页 |
| ·工作流模型的合理性 | 第29-30页 |
| ·工作流的正确性 | 第29-30页 |
| ·工作流网的合理性 | 第30页 |
| ·工作流合理性分析的相关定理 | 第30-31页 |
| ·工作流网合理性的验证 | 第31-36页 |
| ·基于可达树的合理性验证 | 第31-33页 |
| ·基于图形化简规则的合理性验证 | 第33-36页 |
| ·小结 | 第36-37页 |
| 第四章 工作流模型的性能分析 | 第37-45页 |
| ·工作流模型性能分析方法 | 第37-38页 |
| ·工作流的性能参数 | 第38-40页 |
| ·时间性能 | 第38页 |
| ·资源利用率 | 第38-39页 |
| ·成本 | 第39-40页 |
| ·工作流模型的性能等价分析 | 第40-44页 |
| ·顺序结构模型的的性能等价化简 | 第40-41页 |
| ·并行结构模型的的性能等价化简 | 第41-42页 |
| ·选择结构模型的的性能等价化简 | 第42-43页 |
| ·循环结构模型的的性能等价化简 | 第43-44页 |
| ·小结 | 第44-45页 |
| 第五章 基于Petri网的工作流管理系统的实现 | 第45-62页 |
| ·工作流管理系统参考模型 | 第45-46页 |
| ·WFPN工作流模型的面向对象表示法 | 第46-48页 |
| ·基于Petri网的工作流管理系统 | 第48-61页 |
| ·系统开发平台简介 | 第50页 |
| ·系统设计目标 | 第50-51页 |
| ·系统体系结构 | 第51-52页 |
| ·公文流转子系统的设计与实现 | 第52-60页 |
| ·系统安全性配置 | 第60-61页 |
| ·小结 | 第61-62页 |
| 第六章 工作总结和研究展望 | 第62-64页 |
| ·工作总结 | 第62-63页 |
| ·研究展望 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 攻读学位期间主要的研究成果 | 第69页 |
