%0 Journal Article
%T 多元化网络管理协议的petri网验证及其性能测试
%A 赵建立 闻英友 赵林亮 王光兴？
%J 计算机科学
%D 2004
%X 本文针对一种最新提出的卫星网络管理协议，利用petri网描述协议的方法，对此网络管理协议过程进行了形式描述，利用petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证，确定了协议的逻辑正确性，在此基础上，完成了此协议的实现并对其性能进行了测试。
%K petri网网络管理协议验证形式描述性能测试正确性完整性卫星网络可达树不变量
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=10695838&flag=1