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

摘要：

本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,在此基础上,完成了此协议的实现并对其性能进行了测试.

关键词：多元化网络管理协议、Petri网、可达树、S_不变量、T_不变量、性能测试

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA712051

在线出版日期：2004-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：53-56