| 1 绪论 | 第1-26页 |
| ·课题的提出 | 第23-25页 |
| ·论文的安排 | 第25-26页 |
| 2 协议形式描述和分析的理论与方法 | 第26-37页 |
| ·协议工程 | 第26-29页 |
| ·协议形式描述技术 | 第29-32页 |
| ·基于Petri网的形式描述技术 | 第32-33页 |
| ·协议工程的Petri网方法 | 第33-35页 |
| ·本章小结 | 第35-37页 |
| 3 Petri网基本概念和基础理论 | 第37-46页 |
| ·Petri网及其应用简介 | 第37-40页 |
| ·Petri网基本概念 | 第40-41页 |
| ·Petri网基本分析方法 | 第41-44页 |
| ·Petri网基本性质 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 4 带抑止弧的时间Petri网系统 | 第46-51页 |
| ·带抑止弧的时间Petri网 | 第46-47页 |
| ·带抑止弧的时间Petri网的状态 | 第47页 |
| ·ETPN网系统变迁激发的条件和规则 | 第47-49页 |
| ·ETPN的行为描述 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 5 ETPN网系统的分析及其扩展 | 第51-61页 |
| ·系统性质定义及其简单分析 | 第51-54页 |
| ·可达性分析 | 第54-60页 |
| ·本章小结 | 第60-61页 |
| 6 基于ETPN网系统的IEEE802.2 LLC3型协议的建模 | 第61-75页 |
| ·IEEE802.2逻辑链路控制子层3型协议 | 第61页 |
| ·LLC 3型操作的数据传输 | 第61-62页 |
| ·LLC 3型协议的ETPN模型 | 第62-65页 |
| ·协议正确操作的参数范围 | 第65-73页 |
| ·动态特性初步验证 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 7 结论 | 第75-77页 |
| ·本文的主要工作 | 第75页 |
| ·研究体会及进一步的工作 | 第75-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-82页 |