Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regarding power minimization, modeling techniques capable of accurately predicting energy consumption are needed. This paper demonstrates that Petri nets are a viable option of modeling a processor. In fact, this paper shows that the Petri nets’ accuracy surpasses a Markov model utilizing supplementary variables to account for constant delays. 1 Motivations Wireless sensor networks are becoming increasingly prevalent in a wide range of areas from surveillance [6] to monitoring temperature, humidity, and other environmental parameters [12, 10]. Wireless sensor network are usually comprised of nodes powered by batteries in locations where maintenance access may be difficult. Minimizing energy consumption in these networks would go a long ways toward extending the lifetime of the network and increasing the usability....