| 基于有色Petri网模型的OSPF路由性能分析 |
| |
| 引用本文： | 王继曾,曹志强,周隽. 基于有色Petri网模型的OSPF路由性能分析[J]. 兰州理工大学学报, 2007, 33(2): 97-99 |
| |
| 作者姓名： | 王继曾 曹志强 周隽 |
| |
| 作者单位： | 兰州理工大学,计算机与通信学院,甘肃,兰州,730050;兰州理工大学,计算机与通信学院,甘肃,兰州,730050;兰州理工大学,计算机与通信学院,甘肃,兰州,730050 |
| |
| 摘 要： | 在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.
|
| 关 键 词： | 有色Petri网 呼叫协议 可靠泛洪 |
| 文章编号： | 1673-5196（2007）02-0097-03 |
| 收稿时间： | 2006-06-16 |
| 修稿时间： | 2006-06-16 |
Analysis of OSPF routing performance based on colored Petri net model |
| |
| WANG Ji-zeng,CAO Zhi-qiang,ZHOU Jun. Analysis of OSPF routing performance based on colored Petri net model[J]. Journal of Lanzhou University of Technology, 2007, 33(2): 97-99 |
| |
| Authors: | WANG Ji-zeng CAO Zhi-qiang ZHOU Jun |
| |
| Abstract: | On the basis of conducting detailed un-formalization for the OSPF protocol,its main portion "Hello" protocol and "reliable flooding" mechanism were described in terms of formalization by using the colored Petri net.The properties of the protocol such as the liveness,integrality,and advancement were verified by using reachability tree of colored Petri net,so that the protocol's logic correctness was affirmed. |
| |
| Keywords: | colored Petri net," Hello" protocol,reliable flooding |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
