| 多元化网络管理协议的Petri网验证及其性能测试 |
| |
| 引用本文： | 赵建立 闻英友 赵林亮 王光兴. 多元化网络管理协议的Petri网验证及其性能测试[J]. 计算机科学, 2004, 31(10): 53-56 |
| |
| 作者姓名： | 赵建立 闻英友 赵林亮 王光兴 |
| |
| 作者单位： | 东北大学网络与通信中心,沈阳,110004;东北大学网络与通信中心,沈阳,110004;东北大学网络与通信中心,沈阳,110004;东北大学网络与通信中心,沈阳,110004 |
| |
| 基金项目： | 国家863基金资助(2002AA712051). |
| |
| 摘 要： | 本文针对一种最新提出的卫星网络管理协议，利用Petri网描述协议的方法，对此网络管理协议过程进行了形式描述，利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证，确定了协议的逻辑正确性，在此基础上，完成了此协议的实现并对其性能进行了测试。
|
| 关 键 词： | 多元化网络管理协议 Petri网 可达树 S_不变量 T_不变量 性能测试 |
Multiplex Network Management Protocol's Petri Nets Validation and it's Performance Test |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
