| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-10页 |
| 第1章 前言 | 第10-18页 |
| ·本文研究的背景及意义 | 第10-12页 |
| ·国内外研究现状 | 第12-15页 |
| ·本文的主要内容 | 第15-18页 |
| 第2章 预备知识 | 第18-30页 |
| ·Petri网基本定义 | 第18-22页 |
| ·Petri网定义 | 第18-19页 |
| ·有向网定义 | 第19页 |
| ·工作流网的定义 | 第19-21页 |
| ·随机Petri网（SPN）的定义 | 第21-22页 |
| ·工作流管理系统 | 第22-28页 |
| ·工作流建模过程 | 第24-26页 |
| ·工作流运行机制 | 第26-27页 |
| ·工作流中的人机交互 | 第27-28页 |
| ·工作流管理系统参考模型 | 第28-30页 |
| 第3章 基于时间PETRI网的工作流建模 | 第30-50页 |
| ·Petri网与工作流模型的逻辑映射关系 | 第30-34页 |
| ·时间约束工作流网 | 第34-42页 |
| ·时间约束工作流网的定义 | 第34-36页 |
| ·时间约束工作流网的时间约束计算方法 | 第36-42页 |
| ·层次时间工作流网 | 第42-44页 |
| ·时间工作流网层次化方法 | 第42-43页 |
| ·层次化的数据统一 | 第43-44页 |
| ·层次时间约束工作流网定义 | 第44页 |
| ·基于随机Petri网的共享资源抢占式服务工作流模型 | 第44-49页 |
| ·模型的设计 | 第45-46页 |
| ·模型的性能分析 | 第46-49页 |
| ·小结 | 第49-50页 |
| 第4章 行政审批系统的工作流建模 | 第50-65页 |
| ·模型分析 | 第50-52页 |
| ·审批事项概念分析 | 第50-52页 |
| ·审批业务分析 | 第52页 |
| ·行政审批系统工作流模型建立 | 第52-56页 |
| ·组织模型 | 第53-54页 |
| ·资源模型 | 第54-55页 |
| ·工作流相关数据 | 第55-56页 |
| ·过程模型 | 第56页 |
| ·行政审批流程图 | 第56-59页 |
| ·基于Petri网的行政审批工作流模型 | 第59-60页 |
| ·基于Petri网的行政审批模型的时间约束问题 | 第60-64页 |
| ·小结 | 第64-65页 |
| 第5章 行政审批系统的设计与实现 | 第65-82页 |
| ·系统总体方案设计 | 第65-68页 |
| ·系统总体设计原则 | 第65-67页 |
| ·系统总体技术架构 | 第67-68页 |
| ·系统模块设计 | 第68-69页 |
| ·系统的数据结构设计 | 第69-75页 |
| ·库所、令牌和变迁的数据结构 | 第69-71页 |
| ·数据库逻辑结构 | 第71-72页 |
| ·系统中业务有关的主要表结构 | 第72-75页 |
| ·系统开发及运行环境 | 第75页 |
| ·软件系统的实现 | 第75-82页 |
| ·系统设计的关键技术问题 | 第75-78页 |
| ·系统界面设计 | 第78-82页 |
| 第6章 总结 | 第82-84页 |
| 参考文献 | 第84-89页 |
| 致谢 | 第89-90页 |
| 个人简历、在学期间研究成果 | 第90页 |