一种新型卫星网管协议的Petri网描述与验证

摘要：

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础.

关键词：多元化网络管理协议、Petri网、可达性分析、S-不变量分析、T-不变量分析

所属期刊栏目：25

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

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

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

页数：共4页

页码：325-328