基于Petri网的动态工作流技术研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第9-12页 |
| 1．1 应用背景 | 第9页 |
| 1．2 研究背景 | 第9-11页 |
| 1．3 课题来源 | 第11页 |
| 1．4 论文结构 | 第11-12页 |
| 第二章 课题背景 | 第12-23页 |
| 2．1 工作流概述 | 第12-15页 |
| 2．1．1 工作流基本概念 | 第12-14页 |
| 2．1．2 工作流管理系统 | 第14-15页 |
| 2．2 Petri网概述 | 第15-17页 |
| 2．2．1 Petri网基本概念 | 第15-16页 |
| 2．2．2 Petri网的三大优势 | 第16-17页 |
| 2．3 动态工作流概述 | 第17-20页 |
| 2．3．1 建立阶段的动态性 | 第17-18页 |
| 2．3．2 运行阶段的动态性 | 第18-20页 |
| 2．4 动态工作流研究现状 | 第20-22页 |
| 2．5 小结 | 第22-23页 |
| 第三章 工作流模型分析 | 第23-37页 |
| 3．1 过程建模 | 第23-25页 |
| 3．1．1 工作流建模语言 | 第23-24页 |
| 3．1．2 案例建模 | 第24-25页 |
| 3．2 工作流网模型 | 第25-30页 |
| 3．2．1 工作流网 | 第25-26页 |
| 3．2．2 工作流元模型 | 第26-27页 |
| 3．2．3 扩展工作流元模型 | 第27-30页 |
| 3．3 模型验证 | 第30-36页 |
| 3．3．1 扩展工作流网 | 第30-33页 |
| 3．3．2 模型完全性定义 | 第33页 |
| 3．3．3 模型验证过程 | 第33-36页 |
| 3．4 小结 | 第36-37页 |
| 第四章 对动态工作流的支持 | 第37-46页 |
| 4．1 对动态定义的支持 | 第37-39页 |
| 4．1．1 实现体的功能分类 | 第37-38页 |
| 4．1．2 对实现体动态定义的支持 | 第38-39页 |
| 4．2 对动态变化的支持 | 第39-45页 |
| 4．2．1 实例迁移条件 | 第40-41页 |
| 4．2．2 实例迁移验证 | 第41页 |
| 4．2．3 样例分析 | 第41-45页 |
| 4．3 小结 | 第45-46页 |
| 第五章 动态工作流的设计和实现 | 第46-53页 |
| 5．1 结构设计 | 第46-49页 |
| 5．1．1 引擎体系结构 | 第46-48页 |
| 5．1．2 工作流网模型设计 | 第48-49页 |
| 5．2 执行过程 | 第49-52页 |
| 5．2．1 变迁执行过程 | 第49-50页 |
| 5．2．2 调用组件过程 | 第50-51页 |
| 5．2．3 实例迁移过程 | 第51-52页 |
| 5．3 小结 | 第52-53页 |
| 第六章 结束语 | 第53-55页 |
| 6．1 全文工作总结 | 第53页 |
| 6．2 工作展望 | 第53-55页 |
| 致谢 | 第55-56页 |
| 攻读硕士期间发表的论文 | 第56-57页 |
| 附录A: 攻读硕士期间参加的科研项目 | 第57-58页 |
| 参考文献 | 第58-60页 |
