摘要 | 第1-5页 |
ABSTRACT | 第5-10页 |
第一章 绪论 | 第10-17页 |
·论文研究背景和意义 | 第10-12页 |
·论文研究背景 | 第10-11页 |
·论文研究目的和意义 | 第11-12页 |
·论文相关领域研究现状 | 第12-15页 |
·应急预案形式化研究现状 | 第12-14页 |
·应急预案业务流程研究现状 | 第14页 |
·Petri 网在系统过程建模中的应用现状 | 第14-15页 |
·论文研究的主要内容与结构 | 第15-16页 |
·本章小结 | 第16-17页 |
第二章 着色Petri 网的引入 | 第17-24页 |
·Petri 网的理论基础 | 第17-20页 |
·Petri 网基本概念术语 | 第17-18页 |
·Petri 网的基本定义 | 第18-19页 |
·Petri 网的性质和特点 | 第19-20页 |
·着色Petri 网的引入 | 第20-23页 |
·着色Petri 网的发展 | 第20页 |
·着色Petri 网的概念和性质 | 第20-21页 |
·层次着色Petri 网 | 第21页 |
·着色Petri 网建模与分析工具 | 第21-23页 |
·本章小结 | 第23-24页 |
第三章 基于着色Petri 网的应急预案流程化建模 | 第24-45页 |
·应急预案业务流程模型构建与分析框架设计 | 第24-27页 |
·问题的提出 | 第24页 |
·应急预案业务流程模型构建与分析框架 | 第24-26页 |
·应急预案业务流程模型构建思路与原则 | 第26-27页 |
·应急预案主要业务流程化描述 | 第27-35页 |
·应急预案业务流程需求分析 | 第27-30页 |
·应急预案主要业务流程设计 | 第30-35页 |
·基于着色Petri 网的应急预案流程化建模 | 第35-44页 |
·整体流程 | 第35-37页 |
·接警流程 | 第37-38页 |
·专家辅助决策子流程 | 第38-40页 |
·应急响应和处置流程 | 第40-42页 |
·后期处置流程 | 第42-43页 |
·恢复重建子流程 | 第43-44页 |
·本章小结 | 第44-45页 |
第四章 案例分析与模型验证 | 第45-52页 |
·火灾事故应急预案流程化建模 | 第45-47页 |
·火灾事故应急预案流程模型的验证分析 | 第47-50页 |
·着色Petri 网的状态空间分析 | 第48页 |
·模型的状态空间基本信息 | 第48-49页 |
·模型的性质验证 | 第49-50页 |
·本章小结 | 第50-52页 |
第五章 基于Petri 网的案例模型性能分析 | 第52-64页 |
·基于Petri 网性能分析算法设计 | 第52-56页 |
·性能分析基础 | 第52-53页 |
·模型性能分析算法设计 | 第53-56页 |
·案例模型性能分析 | 第56-62页 |
·模型化简 | 第56页 |
·可达树(覆盖集)模型构造 | 第56-57页 |
·稳态概率计算 | 第57-60页 |
·性能性能指标计算 | 第60-62页 |
·模型性能评价 | 第62-63页 |
·本章小结 | 第63-64页 |
第六章 总结与展望 | 第64-66页 |
·全文总结 | 第64-65页 |
·研究展望 | 第65-66页 |
致谢 | 第66-67页 |
参考文献 | 第67-70页 |
攻读学位期间发表的学术论文目录 | 第70页 |