摘要
Petri网是分析网络协议一种有效的形式化建模工具,基于对无线传感器网络LEACH协议运行机制的分析,为协议建立广义随机Petri网(GSPN)性能模型,并用SPNP软件对建立的性能模型进行分析,模型数据验证了模型的有效性,同时讨论了性能模型对协议的低功耗改进所起的指导作用。
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.
出处
《计算机应用》
CSCD
北大核心
2009年第4期1059-1063,1067,共6页
journal of Computer Applications
基金
国家“十一五”支撑计划项目(2006BAD11A10-004)
国家863计划项目(2008AAZ201)
关键词
LEACH协议
行为模型
广义随机Petri网(GSPN)性能模型
性能分析
Low-Energy Adaptive Clustering Hierarchy (LEACH) protocol
behavior model
Generalized Stochastic Petri Nets (GSPN) performance model
performance analysis