无线传感器网络模型的形式化建模与分析方法

摘要

将形式化的分析工具Petri网应用在无线传感器网络的分簇和节点覆盖的研究中,可以对无线传感器网络进行形式化的描述和快速原型开发,建立相应的形式化模型.由于Petri网具有坚实的数学理论,可以更好地研究无线传感器网络在分簇和节点覆盖过程中的能量约束问题,为更优的分簇结构和覆盖方法的设计提供理论基础和数值依据,并对已有的方法进行改进.