工作流模型仿真及验证技术研究
| 第一章 绪论 | 第1-18页 |
| 1．1 引言 | 第9页 |
| 1．2 工作流管理技术简介 | 第9-16页 |
| 1．2．1 工作流的发展历程 | 第9-10页 |
| 1．2．2 工作流的基本概念 | 第10-12页 |
| 1．2．3 工作流管理系统的主要功能 | 第12-13页 |
| 1．2．4 工作流管理系统分类 | 第13-15页 |
| 1．2．5 工作流技术的应用 | 第15页 |
| 1．2．6 当前工作流技术研究中的热点问题 | 第15-16页 |
| 1．3 工作流技术的发展前景 | 第16页 |
| 1．4 选题的依据和意义 | 第16-18页 |
| 第二章 工作流管理系统体系结构 | 第18-27页 |
| 2．1 引言 | 第18页 |
| 2．2 系统的体系结构 | 第18-19页 |
| 2．3 数据存储机制 | 第19-20页 |
| 2．4 建模工具的设计及实现 | 第20-22页 |
| 2．4．1 组织模型与资源模型 | 第20页 |
| 2．4．2 过程模型 | 第20-22页 |
| 2．4．3 过程模型的描述 | 第22页 |
| 2．4．4 过程模型的提交 | 第22页 |
| 2．4．5 过程模型的仿真及验证 | 第22页 |
| 2．5 工作流引擎的设计及实现 | 第22-26页 |
| 2．5．1 过程模型的保存与分派过程 | 第23页 |
| 2．5．2 活动实例的调度、执行过程 | 第23-26页 |
| 2．6 结论 | 第26-27页 |
| 第三章 Petri网 | 第27-30页 |
| 3．1 引言 | 第27页 |
| 3．2 Petri网的概念 | 第27页 |
| 3．3 Petri网模型的特点 | 第27-28页 |
| 3．4 Petri网基本特性 | 第28-29页 |
| 3．5 对象Petri网 | 第29-30页 |
| 第四章 工作流模型仿真 | 第30-41页 |
| 4．1 工作流模型仿真概述 | 第30-32页 |
| 4．2 工作流模型仿真的基本概念 | 第32-34页 |
| 4．2．1 事件表 | 第32页 |
| 4．2．2 仿真钟 | 第32-33页 |
| 4．2．3 统计计数器 | 第33页 |
| 4．2．4 随机变量的产生 | 第33-34页 |
| 4．3 工作流模型仿真的调度策略 | 第34-35页 |
| 4．4 工作流模型仿真的步骤 | 第35-39页 |
| 4．4．1 设置仿真环境 | 第35页 |
| 4．4．2 仿真执行 | 第35-36页 |
| 4．4．3 仿真分析 | 第36-39页 |
| 4．5 仿真模型修改 | 第39-41页 |
| 第五章 仿真程序设计 | 第41-53页 |
| 5．1 仿真数据结构（对象Petri网表示） | 第41-43页 |
| 5．1．1 核心数据结构 | 第41-42页 |
| 5．1．2 扩展数据结构 | 第42-43页 |
| 5．2 仿真程序OPNSimulator的类图 | 第43-44页 |
| 5．3 程序总体设计 | 第44-51页 |
| 5．3．1 仿真流程图 | 第44页 |
| 5．3．2 菜单界面 | 第44-48页 |
| 5．3．3 执行一步仿真过程的算法 | 第48-51页 |
| 5．4 过程模型到仿真模型（OPN表示）的映射 | 第51-53页 |
| 第六章 工作流模型验证 | 第53-65页 |
| 6．1 引言 | 第53页 |
| 6．2 工作流模型的表述 | 第53-54页 |
| 6．3 过程模型中的结构冲突 | 第54-55页 |
| 6．4 工作流模型验证的两个步骤 | 第55页 |
| 6．5 归约规则 | 第55-60页 |
| 6．5．1 顺序归约规则 | 第56页 |
| 6．5．2 循环归约规则 | 第56-57页 |
| 6．5．3 邻接归约规则 | 第57页 |
| 6．5．4 闭合归约规则 | 第57页 |
| 6．5．5 重叠归约规则 | 第57-60页 |
| 6．6 结论 | 第60页 |
| 6．7 验证程序介绍 | 第60-65页 |
| 第七章 总结及展望 | 第65-67页 |
| 7．1 总结 | 第65-66页 |
| 7．2 展望 | 第66-67页 |
| 致谢 | 第67-68页 |
| 在学期间的研究成果 | 第68-69页 |
| 参考文献 | 第69-70页 |
