| 基于有色Petri网的SPIN协议建模与分析 |
| |
| 引用本文： | 宁亮,张志鸿. 基于有色Petri网的SPIN协议建模与分析[J]. 计算机工程与设计, 2007, 28(14): 3391-3393,3397 |
| |
| 作者姓名： | 宁亮 张志鸿 |
| |
| 作者单位： | 郑州大学,信息工程学院,河南,郑州,450001;郑州大学,信息工程学院,河南,郑州,450001 |
| |
| 摘 要： | 在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.
|
| 关 键 词： | SPIN协议 有色Petri网 建模 CPN分析工具 形式化分析 |
| 文章编号： | 1000-7024（2007）14-3391-03 |
| 修稿时间： | 2006-06-23 |
Modeling and analysis of SPIN protocol based on colored Petri net |
| |
| NING Liang,ZHANG Zhi-hong. Modeling and analysis of SPIN protocol based on colored Petri net[J]. Computer Engineering and Design, 2007, 28(14): 3391-3393,3397 |
| |
| Authors: | NING Liang ZHANG Zhi-hong |
| |
| Affiliation: | School of Information Engineering, Zhengzhou University, Zhengzhou 450001, China |
| |
| Abstract: | Among the study of routing protocols in wireless sensor networks,it is important to analyze and verify existing protocols.Formal modeling is an available method for analyzing and verifying protocols.A formal specification of SPIN is given in wireless sensor networks using colored Petri net which is a good formal analysis tool,and also analyzes and verifies that the protocol has the properties of liveness,reachability and boundedness by CPN tools. |
| |
| Keywords: | SPIN colored Petri net modeling CPN tools formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
