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.