Energy Modeling of Processors in Wireless Sensor Networks Based on Petri Nets

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 consumptionare 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]  Martin Naedele,et al.  Petri Net Models for Single Processor Real-Time Scheduling , 1998 .

[2]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[3]  Reinhard German,et al.  Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables , 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

[4]  Deokwoo Jung,et al.  Model-Based Design Exploration of Wireless Sensor Node Lifetimes , 2007, EWSN.

[5]  Gang Zhou,et al.  Achieving Long-Term Surveillance in VigilNet , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[6]  Ye Sun,et al.  Power-efficient data dissemination in wireless sensor networks , 2003, MobiDe '03.

[7]  E.-O. Blass,et al.  Towards a Realistic Energy Model for Wireless Sensor Networks , 2008, 2008 Fifth Annual Conference on Wireless on Demand Network Systems and Services.

[8]  David E. Culler,et al.  Analysis of wireless sensor networks for habitat monitoring , 2004 .

[9]  Armin Zimmermann,et al.  A Software Tool for the Performability Evaluation with Stochastic and Colored Petri Nets , 2007 .

[10]  Sinem Coleri Ergen,et al.  Lifetime analysis of a sensor network with hybrid automata modelling , 2002, WSNA '02.

[11]  D. Cox.  The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[12]  Sang Lyul Min,et al.  An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors , 2001, OM '01.

[13]  Günter Hommel,et al.  Towards version 4.0 of TimeNET , 2006, MMB.