| 摘要 | 第1-9页 |
| Abstract | 第9-11页 |
| 插图索引 | 第11-12页 |
| 附表索引 | 第12-13页 |
| 第1章 绪论 | 第13-24页 |
| ·研究的背景及意义 | 第13-14页 |
| ·国内外研究现状 | 第14-19页 |
| ·协议性能分析方法 | 第19-20页 |
| ·测量法 | 第19页 |
| ·模型分析法 | 第19-20页 |
| ·数学分析法 | 第20页 |
| ·Petri 网的研究方法 | 第20-21页 |
| ·Petri 网的定性研究 | 第20-21页 |
| ·Petri 网的定量研究 | 第21页 |
| ·论文的主要研究内容和贡献 | 第21-22页 |
| ·论文组织结构安排 | 第22-24页 |
| 第2章 Petri 网理论及论文涉及的分析方法 | 第24-42页 |
| ·引言 | 第24-25页 |
| ·Petri 的基本概念 | 第25-28页 |
| ·Petri 网的定义 | 第25页 |
| ·Petri 网的可达标识 | 第25-26页 |
| ·Petri 网中变迁关系与实施 | 第26-28页 |
| ·Petri 网的性质 | 第28-33页 |
| ·行为特性 | 第28-30页 |
| ·结构特性 | 第30-33页 |
| ·Petri 网的分析方法 | 第33-36页 |
| ·覆盖(可达)树 | 第33-34页 |
| ·Petri 网的状态方程 | 第34-35页 |
| ·Petri 网语言 | 第35-36页 |
| ·Petri 网结构的化简 | 第36-37页 |
| ·随机 Petri 网的分析方法 | 第37-41页 |
| ·随机Petri 网 | 第37-39页 |
| ·随机Petri 网的定义 | 第37-38页 |
| ·随机 Petri 网的的分析方法 | 第38-39页 |
| ·广义随机 Petri 网 | 第39-41页 |
| ·广义随机 Petri 网的定义 | 第39-40页 |
| ·GSPN 的变迁的实施 | 第40页 |
| ·GSPN 的分析方法 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第3章 SIP 的随机 Petri 网建模及协议的分析验证 | 第42-64页 |
| ·引言 | 第42-43页 |
| ·会话初始化协议概述 | 第43-52页 |
| ·SIP 基本介绍 | 第43-48页 |
| ·SIP 系统基本组成和协议结构 | 第43-46页 |
| ·SIP 的消息 | 第46-48页 |
| ·SIP 的服务过程 | 第48-51页 |
| ·SIP 的功能 | 第51-52页 |
| ·SIP 随机Petri 网模型的建立 | 第52-58页 |
| ·SIP 的随机 Petri 网建模 | 第52-55页 |
| ·随机Petri 网模型的简化 | 第55-58页 |
| ·SIP 的Petri 网分析验证 | 第58-62页 |
| ·基于覆盖树的分析 | 第58-60页 |
| ·基于不变量的分析 | 第60-62页 |
| ·基于 S_不变量分析 | 第60-61页 |
| ·基于 T_不变量分析 | 第61-62页 |
| ·基于Petri 网语言分析 | 第62页 |
| ·本章小结 | 第62-64页 |
| 第4章 基于马尔可夫链的SIP 的性能分析 | 第64-78页 |
| ·引言 | 第64-65页 |
| ·SIP 的广义随机Petri 网模型 | 第65-68页 |
| ·构造同构马尔可夫链 | 第68-70页 |
| ·GSPN 模型的数值分析 | 第70-73页 |
| ·约简后的马尔可夫链的转移概率矩阵 | 第70-72页 |
| ·稳定状态概率 | 第72-73页 |
| ·性能指标分析 | 第73-77页 |
| ·本章小结 | 第77-78页 |
| 第5章 基于随机Petri 网模型的SIP 的性能分析 | 第78-87页 |
| ·引言 | 第78页 |
| ·SPN 模型性能瓶颈分析 | 第78-80页 |
| ·基于UDP 和TCP 的SIP 分析 | 第80-85页 |
| ·基于 UDP 和 TCP 的 SIP 传输方式 | 第80-82页 |
| ·基于 TCP 协议的 SIP 会话建立过程的 Petri 网建模 | 第82-84页 |
| ·模拟分析 | 第84-85页 |
| ·本章小结 | 第85-87页 |
| 第6章 基于广义随机Petri 网的SIP 的性能分析 | 第87-96页 |
| ·引言 | 第87页 |
| ·协议性能评价体系 | 第87-89页 |
| ·GSPN 模型的吞吐量上界分析 | 第89-90页 |
| ·建立连接的耗时过程分析 | 第90-93页 |
| ·数值分析 | 第90-91页 |
| ·仿真分析 | 第91-93页 |
| ·仿真结果分析 | 第93-94页 |
| ·本章小结 | 第94-96页 |
| 总结与展望 | 第96-98页 |
| 参考文献 | 第98-105页 |
| 致谢 | 第105-107页 |
| 附录 A（攻读学位期间所发表的学术论文） | 第107页 |
