基于着色Petri网模型的OSPF协议验证

目录	第1-5页
第一章 引言	第5-7页
第二章 OSPF协议简介	第7-13页
·链路拓扑	第8-9页
·区域	第9-11页
·OSPF协议过程	第11-13页
第三章 基于Petri网的形式描述技术	第13-24页
·形式描述技术简介	第13-14页
·Petri网原理	第14-16页
·基于Petri网的形式描述技术	第16-18页
·着色Petri网	第18-24页
·预定义	第19-20页
·着色Petri网静态结构	第20-21页
·CPN模型仿真执行的形式化描述	第21-23页
·CPN模型动态特性的形式化描述	第23-24页
第四章 网络通信协议的验证技术	第24-29页
·概述	第24-25页
·基于有限状态自动机模型的协议验证与分析	第25-27页
·基于Petri网的协议验证与分析	第27-29页
第五章 着色Petri网建模及仿真工具的设计实现	第29-42页
·着色Petri网建模工具的功能及主窗口	第30-33页
·着色Petri网建模工具的设计及技术实现	第33-42页
·图形编辑器的设计	第33-40页
·模型仿真器的设计	第40页
·举例	第40-42页
第六章 OSPF协议的CPN网模型及形式化分析	第42-51页
·OSPF的路由表的计算	第43页
·OSPF协议计算路由表的算法	第43-46页
·计算路由表算法的CPN模型表示	第46-49页
·基于CPN模型的动态性质及形式化分析	第49-51页
第七章 结论	第51-54页
致谢	第54-55页
参考文献	第55-56页