| 第一章 绪论 | 第1-12页 |
| ·随机Petri网的发展历程与研究现状 | 第8-10页 |
| ·开发随机Petri网可视化分析软件系统的必要性 | 第10-11页 |
| ·国外随机Petri网相关软件的情况 | 第10-11页 |
| ·国内随机Petri网相关软件的情况 | 第11页 |
| ·论文的主要研究内容 | 第11-12页 |
| 第二章 随机PETRI网与系统性能分析 | 第12-27页 |
| ·Petri网的基本理论 | 第12-17页 |
| ·Petri网的定义 | 第12-13页 |
| ·库所/变迁系统 | 第13-14页 |
| ·Petri网的基本性质 | 第14-15页 |
| ·Petri网的分析方法 | 第15-17页 |
| ·马尔可夫链的相关理论 | 第17-20页 |
| ·马尔可夫链的基本概念 | 第17页 |
| ·连续时间马尔可夫链 | 第17-20页 |
| ·随机Petri网及其在系统性能分析中的应用 | 第20-26页 |
| ·从基本Petri网扩展到随机Petri网 | 第20-22页 |
| ·随机Petri网(SPN)模型的性能分析 | 第22-26页 |
| ·小结 | 第26-27页 |
| 第三章 SPNANALYZER软件系统的设计与实现 | 第27-43页 |
| ·SPNAnalyzer软件系统的功能分析 | 第27-28页 |
| ·SPNAnalyzer软件系统的总体框架结构 | 第28页 |
| ·SPNAnalyzer软件系统各个模块的设计与实现 | 第28-42页 |
| ·人机界面模块 | 第28-32页 |
| ·元素对象模块 | 第32-35页 |
| ·图形工具模块 | 第35-38页 |
| ·文档管理模块 | 第38-39页 |
| ·语法规则模块 | 第39-41页 |
| ·模型求解模块 | 第41页 |
| ·性能分析模块 | 第41-42页 |
| ·小结 | 第42-43页 |
| 第四章 SPNANALYZER软件系统关键技术的解决方案 | 第43-61页 |
| ·数据结构的设计 | 第43-45页 |
| ·元素对象链表 | 第43-44页 |
| ·运算数据链表 | 第44-45页 |
| ·随机Petri网模型的可达集生成算法 | 第45-51页 |
| ·准备工作 | 第45-47页 |
| ·随机Petri网模型的运行 | 第47-50页 |
| ·可达标识集的求解 | 第50-51页 |
| ·性能分析的实现 | 第51-53页 |
| ·同构马尔可夫链的构造 | 第51页 |
| ·稳定状态概率的求解 | 第51-53页 |
| ·性能指标的计算 | 第53页 |
| ·应用实例 | 第53-60页 |
| ·小结 | 第60-61页 |
| 第五章 随机PETRI网面临的挑战--状态空间爆炸问题 | 第61-68页 |
| ·问题的提出 | 第61页 |
| ·随机Petri网的分解和压缩技术 | 第61-66页 |
| ·时间数量级分解 | 第62-63页 |
| ·接近无关的分解 | 第63页 |
| ·响应时间保留压缩替换 | 第63-64页 |
| ·流等价压缩替换 | 第64-65页 |
| ·层次模型和分层分析 | 第65-66页 |
| ·乘积形式解 | 第66页 |
| ·小结 | 第66-68页 |
| 第六章 总结与展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 发表论文和参加科研情况说明 | 第72-73页 |
| 硕士期间发表论文: | 第72页 |
| 硕士期间科研情况: | 第72-73页 |
| 致 谢 | 第73页 |
