无线传感器网络SPIN协议的改进及验证

• 作者: 宁亮 张志鸿 马旭东
• 来源期刊: 科技与创新
• 关键词: 有色Petri网 SPIN协议 SPIN-E协议 建模 CPN分析工具
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 传感器与仪器仪表
• 页码范围: 130-131,170
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.13.054

摘要

在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证.本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议--SPIN-E协议,并使用有色Petri网对SPIN-E协议进行形式化建模,通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马旭东	郑州大学信息工程学院	4	26	3.0	4.0
2	张志鸿	郑州大学信息工程学院	36	172	8.0	10.0
3	宁亮	郑州大学信息工程学院	2	13	2.0	2.0