Ali Shareef, Yifeng Zhu: Energy Modeling of Wireless Sensor Nodes Based on Petri Nets. ICPP 2010: 101-110