基于Petri网的SNMP建模与形式化分析

摘要：

本文在分析SNMP协议的原理和通信机制的基础之上,用Petri网对协议进行建模.首先用Petri网的库所/变迁系统对SNMP协议的通信过程建模,其次结合协议的Petri网模型对协议的并发机制和存在冲突等特点做出形式化分析,并且通过可达性分析,S_不变量分析和T不变量分析进一步分析验证了协议的有界性、活性、守恒性和循环性等性质.

关键词： 简单网络管理协议 Petri网 形式化分析 通信机制

作者: 高琪 王祖林

作者单位: 北京航空航天大学,电子信息工程学院,北京,100083

会议类型: 国内会议

会议名称: 第一届中国高校通信类院系学术研讨会

会议地点: 扬州

会议语种:中文

页码: 1156-1161

在线出版日期: 2007-07-27（万方平台首次上网日期，不代表论文的发表时间）