首页 | 本学科首页   官方微博 | 高级检索  
     

无线传感器网络LEACH协议的Petri网模型及性能分析
引用本文:彭艾,黄岚,王忠义,王成.无线传感器网络LEACH协议的Petri网模型及性能分析[J].计算机应用,2009,29(4):1059-1063.
作者姓名:彭艾  黄岚  王忠义  王成
作者单位:中国农业大学信息与电气工程学院 中国农业大学信息与电气工程学院 中国农业大学信息与电气工程学院
基金项目:国家支撑计划项目,国家高技术研究发展计划(863计划) 
摘    要:Petri网是分析网络协议一种有效的形式化建模工具,基于对无线传感器网络LEACH协议运行机制的分析,为协议建立广义随机Petri网(GSPN)性能模型,并用SPNP软件对建立的性能模型进行分析,模型数据验证了模型的有效性,同时讨论了性能模型对协议的低功耗改进所起的指导作用。

关 键 词:LEACH协议    行为模型    广义随机Petri网(GSPN)性能模型    性能分析
收稿时间:2008-10-06
修稿时间:2008-12-03

Model and analysis of LEACH protocol based on Petri net
PENG Ai,HUANG Lan,WANG Zhong-yi,WANG Cheng.Model and analysis of LEACH protocol based on Petri net[J].journal of Computer Applications,2009,29(4):1059-1063.
Authors:PENG Ai  HUANG Lan  WANG Zhong-yi  WANG Cheng
Affiliation:1.College of Information and Electrical Engineering;China Agricultural University;Beijing 100083;China;2.National Engineering Research Center for Information Technology in Agriculture;Beijing 100097;China
Abstract:Petri net is an effective mathematical tool for formally analyzing and verifying protocols. On the basis of the analysis of Low-Energy Adaptive Clustering Hierarchy (LEACH) protocol, a Generalized Stochastic Petri Nets (GSPN) model of performance for LEACH protocol was proposed. With the help of SPNP tools for analyzing the performance model of protocol, the validity of the model was verified. Finally, the significance of the performance model to the protocol's low-energy improvement was discussed.
Keywords:Low-Energy Adaptive Clustering Hierarchy (LEACH) protocol  behavior model  Generalized Stochastic Petri Nets (GSPN) performance model  performance analysis
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用》浏览原始摘要信息
点击此处可从《计算机应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号