Model and analysis of LEACH protocol based on Petri net
Ai PENG Lan HUANG Zhong-Yi WANG Cheng WANG
Journal of Computer Applications . 2009, (4): 1059 -1063 .