%0 Journal Article
%T Multiplex Network Management Protocol''''s Petri Nets Validation and it''''s Performance Test<br>多元化网络管理协议的Petri网验证及其性能测试
%A 赵建立
%A 闻英友
%A 赵林亮
%A 王光兴
%J 计算机科学
%D 2004
%I 
%X 本文针对一种最新提出的卫星网络管理协议，利用Petri网描述协议的方法，对此网络管理协议过程进行了形式描述，利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证，确定了协议的逻辑正确性，在此基础上，完成了此协议的实现并对其性能进行了测试。
%K Petri网
%K 网络管理协议
%K 验证
%K 形式描述
%K 性能测试
%K 正确性
%K 完整性
%K 卫星网络
%K 可达树
%K 不变量
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=DA0DFDE8231C4EE4&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=F3090AE9B60B7ED1&sid=8E6AB9C3EBAAE921&eid=014B591DF029732F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10