多元化网络管理协议的Petri网验证及其性能测试  

Multiplex Network Management Protocol's Petri Nets Validation and it's Performance Test

作　　者：赵建立[1] 闻英友[1] 赵林亮[1] 王光兴[1] 

机构地区：[1]东北大学网络与通信中心,沈阳110004

出　　处：《计算机科学》2004年第10期53-56,共4页Computer Science

基　　金：国家863基金资助(2002AA712051)

摘　　要：本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,在此基础上,完成了此协议的实现并对其性能进行了测试。In this paper, aimed at a new satellite network management protocol, a formal specification of the network management protocol using Petri net is given, verify that the protocol has the properties of boundness, liveness, conservation, integrality and etc using petri net reachability tree and invariant variable, confirm the new network management protocol's logic correctness. At last, the performance comparison between the new protocol and SNMP is given.

关 键 词：PETRI网 网络管理协议 验证 形式描述 性能测试 正确性 完整性 卫星网络 可达树 不变量 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TN915[自动化与计算机技术—计算机科学与技术]