10.3969/j.issn.1000-7024.2007.14.034
基于有色Petri网的SPIN协议建模与分析
在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.
SPIN协议、有色Petri网、建模、CPN分析工具、形式化分析
28
TP393(计算技术、计算机技术)
2007-08-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
3391-3393,3397