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

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

Formal modeling and analysis approach of wireless sensor network

Petri net, as a formal tool used in the research of clustering and node coverage of wireless sensor network, can help to describe the wireless sensor network formally and establish the corresponding formal model quickly. As the Petri net has solid mathematical theory, it can better research the energy constraint problem of wireless sensor network in the process of node clustering and covering. The formal model can provide the theoretical and numerical basis for the design of a better clustering and covering structure, and then help to promote the existing algorithm.