| 一种新型卫星网管协议的Petri网描述与验证 |
| |
| 引用本文： | 赵建立,闻英友,商瑞强,王光兴. 一种新型卫星网管协议的Petri网描述与验证[J]. 东北大学学报(自然科学版), 2004, 25(4): 325-328. DOI: - |
| |
| 作者姓名： | 赵建立 闻英友 商瑞强 王光兴 |
| |
| 作者单位： | 东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·
|
| 关 键 词： | 多元化网络管理协议 Petri网 可达性分析 S-不变量分析 T-不变量分析 |
| 文章编号： | 1005-3026(2004)04-0325-04 |
| 修稿时间： | 2003-09-22 |
Petri Net Description of a New Satellite Network Management Protocol and Its Verification |
| |
| ZHAO Jian-li,WEN Ying-you,SHANG Rui-qiang,WANG Guang-xing. Petri Net Description of a New Satellite Network Management Protocol and Its Verification[J]. Journal of Northeastern University(Natural Science), 2004, 25(4): 325-328. DOI: - |
| |
| Authors: | ZHAO Jian-li WEN Ying-you SHANG Rui-qiang WANG Guang-xing |
| |
| Affiliation: | (1) Sch. of Info. Sci. and Eng., Northeastern Univ., Shenyang 110004, China |
| |
| Abstract: | |
| |
| Keywords: | MNMP Petri net reachability analysis S_-invariant analysis T_-invariant analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《东北大学学报(自然科学版)》下载全文 |
|
