基于有色Petri网模型的OSPF路由性能分析
Analysis of OSPF routing performance based on colored Petri net model作者机构：兰州理工大学计算机与通信学院甘肃兰州730050
出 版 物：《兰州理工大学学报》 (Journal of Lanzhou University of Technology)
年 卷 期：2007年第33卷第2期
页 面：97-99页
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫协议和“可靠泛洪机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.
维普期刊数据库
同方期刊数据库