基于有色Petri网的SPIN协议建模与分析  

Modeling and analysis of SPIN protocol based on colored Petri net

作　　者：宁亮[1] 张志鸿[1] 

机构地区：[1]郑州大学信息工程学院,河南郑州450001

出　　处：《计算机工程与设计》2007年第14期3391-3393,3397,共4页Computer Engineering and Design

摘　　要：在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性。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 botmdedness by CPN tools.

关 键 词：SPIN协议 有色PETRI网 建模 CPN分析工具 形式化分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]