| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第一章 绪论 | 第12-25页 |
| ·工作流概述 | 第12-15页 |
| ·工作流的起源与发展 | 第12-14页 |
| ·工作流技术领域的相关概念 | 第14-15页 |
| ·工作流参考模型、元模型 | 第15-18页 |
| ·工作流参考模型 | 第15-17页 |
| ·过程元模型 | 第17-18页 |
| ·工作流管理系统 | 第18-22页 |
| ·工作流技术的国内外发展现状与趋势及存在的问题 | 第22-24页 |
| ·主要研究内容 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第二章 基于 Petri 网的工作流模型及其分析 | 第25-54页 |
| ·引言 | 第25页 |
| ·Petri 网和工作流网结构概述 | 第25-28页 |
| ·Petri 网建模 | 第28-38页 |
| ·Petri 网模型定义 | 第28-30页 |
| ·Petri 网的性质 | 第30-31页 |
| ·Petri 网模型路由结构 | 第31-34页 |
| ·Petri 网模型构建原则 | 第34-38页 |
| ·Petri 网模型性质分析方法 | 第38-43页 |
| ·可覆盖树方法 | 第38-40页 |
| ·关联矩阵与状态方程 | 第40-43页 |
| ·工作流时间性能分析 | 第43-53页 |
| ·顺序结构时间分析 | 第44-45页 |
| ·并行结构时间分析 | 第45-46页 |
| ·选择结构时间分析 | 第46-47页 |
| ·循环结构时间分析 | 第47-48页 |
| ·随机 Petri 网时间性能近似分析 | 第48-53页 |
| ·本章小结 | 第53-54页 |
| 第三章 基于 Petri 网的工作流模型检验和优化 | 第54-74页 |
| ·引言 | 第54页 |
| ·工作流模型检验 | 第54-60页 |
| ·工作流模型的冲突结构 | 第54-55页 |
| ·死锁检测算法 | 第55页 |
| ·归约规则 | 第55-58页 |
| ·归约算法 | 第58-60页 |
| ·Petri 网优化技术 | 第60-73页 |
| ·模型化简方法 | 第60-64页 |
| ·模型化简规则 | 第64-67页 |
| ·化简工作流模型的步骤 | 第67-68页 |
| ·算法及实例分析 | 第68-73页 |
| ·本章小结 | 第73-74页 |
| 第四章 基于 Petri 网的工作流仿真 | 第74-94页 |
| ·引言 | 第74页 |
| ·仿真量化指标及其分析 | 第74-78页 |
| ·业务过程评价体系及指标 | 第74-75页 |
| ·量化指标及其分析 | 第75-78页 |
| ·工作流模型向 Petri 网模型的映射 | 第78-84页 |
| ·相关概念 | 第78-80页 |
| ·信牌驱动模型向 Petri 网模型的转换 | 第80-84页 |
| ·Petri 网仿真 | 第84-93页 |
| ·Petri 网仿真算法 | 第84-88页 |
| ·仿真调度策略 | 第88-90页 |
| ·实例分析 | 第90-93页 |
| ·本章小结 | 第93-94页 |
| 第五章 JXWF系统设计及实现 | 第94-123页 |
| ·引言 | 第94页 |
| ·项目背景 | 第94-96页 |
| ·需求分析 | 第94-95页 |
| ·系统功能 | 第95-96页 |
| ·系统设计 | 第96-99页 |
| ·开发环境 | 第96页 |
| ·JXWF 系统框架 | 第96-98页 |
| ·JXWF 系统设计原则 | 第98-99页 |
| ·JXWF 系统实现 | 第99-122页 |
| ·流程建模模块 | 第99-102页 |
| ·流程定义模块 | 第102-107页 |
| ·流程发布部署模块 | 第107-108页 |
| ·流程仿真和监控模块 | 第108-119页 |
| ·流程分析及优化模块 | 第119-120页 |
| ·JXWF 数据库设计 | 第120-122页 |
| ·本章小结 | 第122-123页 |
| 第六章 总结与展望 | 第123-125页 |
| ·总结 | 第123-124页 |
| ·下一步研究工作 | 第124-125页 |
| 致谢 | 第125-126页 |
| 攻读博士研究生期间取得的成果 | 第126-127页 |
| 参考文献 | 第127-130页 |