| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-19页 |
| ·工作流概述 | 第11-15页 |
| ·工作流定义及相关概念 | 第11-13页 |
| ·工作流参考模型 | 第13-15页 |
| ·背景及研究意义 | 第15-16页 |
| ·工作流研究现状 | 第16-17页 |
| ·主要研究内容和论文结构 | 第17-19页 |
| ·主要研究内容 | 第17-18页 |
| ·论文结构 | 第18-19页 |
| 第 2 章 基于 Petri 网的工作流模型 | 第19-28页 |
| ·Petri 网 | 第19-22页 |
| ·Petri 网基本概念 | 第20页 |
| ·Petri 网的分类 | 第20-21页 |
| ·Petri 网的基本性质 | 第21-22页 |
| ·Petri 网的主要分析方法 | 第22页 |
| ·高级 Petri 网 | 第22-24页 |
| ·基于 Petri 网的工作流网 | 第24-28页 |
| ·工作流网的概念及性质 | 第24-25页 |
| ·工作流网的基本组件 | 第25-27页 |
| ·工作流网触发机制 | 第27-28页 |
| 第3章 基于触发时间约束的颜色工作流网模型 | 第28-38页 |
| ·颜色工作流网 | 第28-30页 |
| ·颜色工作流网简介 | 第28页 |
| ·颜色工作流网定义 | 第28-30页 |
| ·基于触发时间约束的颜色工作流网 | 第30-33页 |
| ·改进的基于触发时间约束的颜色工作流网 | 第33-38页 |
| 第4章 基于触发时间约束的颜色工作流网的合理性验证 | 第38-47页 |
| ·合理性定义 | 第38-39页 |
| ·工作流网的合理性验证 | 第39-44页 |
| ·基于图形化简规则的合理性验证 | 第39-41页 |
| ·基于可达树的合理性验证 | 第41-44页 |
| ·基于触发时间约束的颜色工作流网的合理性验证 | 第44-47页 |
| 第5章 基于工作流技术的医疗办公自动化系统分析、设计与实现 | 第47-71页 |
| ·系统概述 | 第47-48页 |
| ·系统需求分析 | 第47-48页 |
| ·系统的主要业务流程 | 第48页 |
| ·系统可行性分析 | 第48页 |
| ·工作流模型分析 | 第48-50页 |
| ·系统总体分析与设计 | 第50-52页 |
| ·系统体系结构设计 | 第50-51页 |
| ·系统开发平台设计 | 第51-52页 |
| ·系统功能设计 | 第52页 |
| ·数据库设计 | 第52-57页 |
| ·数据库表设计 | 第52-53页 |
| ·数据库表关联性分析 | 第53-54页 |
| ·数据库表结构 | 第54-57页 |
| ·工作流模型管理模块设计与实现 | 第57-64页 |
| ·工作流运行管理模块设计与实现 | 第64-68页 |
| ·系统管理模块设计与实现 | 第68-71页 |
| 结论 | 第71-73页 |
| 本文工作成果 | 第71页 |
| 工作展望 | 第71-73页 |
| 参考文献 | 第73-76页 |
| 攻读硕士学位期间发表的论文和获得的科研成果 | 第76-77页 |
| 致谢 | 第77页 |