基于Petri网的工作流技术研究与应用
| 0 前言 | 第1-9页 |
| 1 工作流技术综述 | 第9-21页 |
| ·工作流技术的起源与发展 | 第9-10页 |
| ·工作流技术相关概念 | 第10-12页 |
| ·工作流管理系统 | 第12-14页 |
| ·工作流管理系统参考模型 | 第14-15页 |
| ·工作流技术及管理系统研究现状与发展趋势 | 第15-21页 |
| ·工作流系统的典型实现方案 | 第15-17页 |
| ·目前工作流技术中存在的不足 | 第17-18页 |
| ·WfMS的发展趋势 | 第18-21页 |
| 2 工作流建模方法的研究 | 第21-32页 |
| ·WfMS的基础--工作流模型 | 第21-22页 |
| ·工作流建模方法研究现状 | 第22-23页 |
| ·基于Petri网的工作流建模方法 | 第23-30页 |
| ·Petri网基本概念 | 第23-25页 |
| ·Petri网建造工作流模型的优点 | 第25-27页 |
| ·Petri网建模方法 | 第27-30页 |
| ·本文工作 | 第30-32页 |
| 3 基于层次细化Petri网的参与者模型与分析 | 第32-43页 |
| ·影响工作流执行过程的参与者因素 | 第32-33页 |
| ·基于Petri网的参与者细化模型 | 第33-36页 |
| ·参与者静态模型 | 第34页 |
| ·参与者竞争模型 | 第34-35页 |
| ·参与者优先模型 | 第35-36页 |
| ·参与者委托模型 | 第36页 |
| ·工作流的层次精化模型与动态特性分析 | 第36-43页 |
| ·细化变迁节点分析参与者参与活动的结构 | 第37-38页 |
| ·细化库所节点分析参与者状态的变化 | 第38-39页 |
| ·层次细化模型分析 | 第39-40页 |
| ·实例分析 | 第40-43页 |
| 4 基于模糊Petri网理论的工作流建模方法 | 第43-53页 |
| ·提高工作流动态自适应性的研究 | 第43-45页 |
| ·相关概念 | 第45-48页 |
| ·模糊Petri网与模糊时间Petri网 | 第45-46页 |
| ·模糊工作流网 | 第46-48页 |
| ·模糊工作流网建模方法及执行算法 | 第48-49页 |
| ·模糊工作流网建模分析的实例 | 第49-53页 |
| ·模型的仿真分析 | 第50-51页 |
| ·工作流程执行过程 | 第51-53页 |
| 5 时态逻辑在工作流建模中应用的研究 | 第53-68页 |
| ·相关概念及分析 | 第53-60页 |
| ·时态逻辑 | 第53-56页 |
| ·ω自动机的基本概念 | 第56-57页 |
| ·时态逻辑与Büchi自动机 | 第57-60页 |
| ·时态逻辑辅助工作流建模 | 第60-63页 |
| ·工作流与时态逻辑 | 第60-61页 |
| ·模型需求描述 | 第61-63页 |
| ·模型特性表示 | 第63页 |
| ·模型需求及特性验证 | 第63-68页 |
| ·转化工作流模型为Kripke变迁结构 | 第63-65页 |
| ·工作流模型验证方法 | 第65-66页 |
| ·实例分析 | 第66-68页 |
| 6 基于工作流技术的防汛指挥办公系统的实现 | 第68-88页 |
| ·办公自动化系统综述 | 第68-70页 |
| ·办公自动化的定义 | 第68页 |
| ·办公自动化的发展与现状 | 第68-69页 |
| ·工作流在办公自动化中的应用 | 第69-70页 |
| ·系统设计目标 | 第70-71页 |
| ·系统体系结构 | 第71-73页 |
| ·系统功能设计 | 第73-74页 |
| ·基于工作流的公文流转子系统设计实现 | 第74-88页 |
| ·工作流模型设计 | 第75-79页 |
| ·工作流管理子系统的运行过程 | 第79-80页 |
| ·工作流子系统建模工具 | 第80-82页 |
| ·工作流管理子系统的用户工作界面 | 第82-86页 |
| ·工作流管理子系统的技术特点 | 第86-88页 |
| 7 结束语 | 第88-90页 |
| ·本文工作总结 | 第88页 |
| ·展望 | 第88-90页 |
| 参考文献 | 第90-93页 |
| 致谢 | 第93-95页 |
