首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于赋时分层着色Petri网的工作流建模与性能评价

摘要第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页

论文共75页,点击 下载论文
上一篇:基于索引技术的XML查询研究
下一篇:基于本体的综合评价文本自动生成系统研究