摘要 | 第1-5页 |
Abstract | 第5-10页 |
第一章 绪论 | 第10-15页 |
·课题的背景和意义 | 第10-11页 |
·国内外研究及现状 | 第11-12页 |
·研究内容和研究成果 | 第12-14页 |
·研究内容 | 第12-13页 |
·研究成果 | 第13-14页 |
·论文的结构 | 第14-15页 |
第二章 赋时分层着色Petri 网基础知识与理论 | 第15-30页 |
·基本Petri 网相关知识 | 第15-17页 |
·Petri 网的产生与发展 | 第15页 |
·Petri 网描述及定义 | 第15-17页 |
·高级Petri 网 | 第17-25页 |
·着色Petri 网 | 第17-20页 |
·分层着色Petri 网 | 第20-23页 |
·时间着色Petri 网(TCP-net) | 第23-24页 |
·赋时分层着色Petri 网(HTCP-net) | 第24-25页 |
·工具软件CPN Tools 简介 | 第25-26页 |
·监视网络 | 第26-29页 |
·监视的定义 | 第26-27页 |
·监视的种类 | 第27页 |
·监视函数 | 第27-29页 |
·本章小结 | 第29-30页 |
第三章 赋时分层着色Petri 网性能评价方法 | 第30-35页 |
·软件性能评价方法 | 第30-31页 |
·赋时分层着色Petri 网性能评价方法 | 第31-34页 |
·Monitor 监控器分析法 | 第32-33页 |
·状态空间分析法 | 第33-34页 |
·本章小结 | 第34-35页 |
第四章 赋时分层着色Petri 网与工作流网 | 第35-48页 |
·工作流基础知识 | 第35-37页 |
·工作流模型概述 | 第35页 |
·相关概念 | 第35页 |
·工作流模型的基本要素 | 第35-37页 |
·赋时分层着色工作流网 | 第37-42页 |
·赋时分层着色工作流网(HTCPWF-net) | 第37页 |
·基于HTCPWF-net 路由结构 | 第37-40页 |
·工作流网的触发机制 | 第40-41页 |
·HTCPWF-net 的特性 | 第41-42页 |
·资源管理器 | 第42-47页 |
·资源的定义和分析 | 第42-43页 |
·资源管理器的设计 | 第43-47页 |
·本章小结 | 第47-48页 |
第五章 基于赋时分层着色Petri 网的建模实例 | 第48-59页 |
·模型的常量、变量、函数声明 | 第49-50页 |
·模型的顶层模型 | 第50-52页 |
·顶层模型的子网结构 | 第52-56页 |
·compensator Arrive 子网模型 | 第52-53页 |
·Process 子网模型 | 第53页 |
·Register claim 子网模型 | 第53-54页 |
·Check only 子网模型 | 第54页 |
·Evaluate claim 子网模型 | 第54-55页 |
·Issue payment 子网模型 | 第55页 |
·send rejection letter 子网模型 | 第55-56页 |
·模型的监视(Monitor)函数 | 第56-58页 |
·本章小结 | 第58-59页 |
第六章 赋时分层着色工作流网性能分析与优化 | 第59-69页 |
·基于仿真的模型合理性分析 | 第59-61页 |
·死锁分析 | 第59-60页 |
·冲突检测 | 第60页 |
·模型的正确性 | 第60-61页 |
·基于仿真的性能评价 | 第61-64页 |
·索赔案例的完成时间 | 第61页 |
·索赔案例的延迟时间 | 第61-62页 |
·两种保险索赔处理方式延迟时间对比 | 第62-63页 |
·两种保险索赔处理方式等待队列对比 | 第63页 |
·模型的仿真报告 | 第63-64页 |
·保险索赔流程优化 | 第64-65页 |
·资源优化配置 | 第64-65页 |
·流程优化 | 第65页 |
·优化前后性能对比 | 第65-68页 |
·仿真报告 | 第65-66页 |
·优化前后索赔案例完成时间对比图 | 第66页 |
·优化前后索赔案例的延迟时间对比 | 第66-67页 |
·优化前后索赔案例等待队列对比 | 第67-68页 |
·本章小结 | 第68-69页 |
结论与展望 | 第69-71页 |
参考文献 | 第71-74页 |
在学期间所发表的学术论文 | 第74-75页 |
致谢 | 第75页 |