关键词: Petri网, 无线传感器网络, 分簇, 节点覆盖

Abstract: 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.

Key words: Petri net, Wireless Sensor Network (WSN), clustering, node coverage