Using coloured petri nets for evaluating the power consumption of wireless sensor networks

International Journal of Distributed Sensor Networks

Volumn 2014, Issue , 2014, Pages

  Dâmaso, Antônio ^a   Rosa, Nelson ^a   Maciel, Paulo ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; PETRI NETS; SOFTWARE AGENTS;

COLOURED PETRI NETS; EXPERIMENTAL EVALUATION; FULLY AUTOMATED; POWER CONSUMPTION MODEL; WIRELESS SENSOR NETWORK (WSNS); WSN APPLICATIONS;

WIRELESS SENSOR NETWORKS;

EID: 84904121739     PISSN: 15501329     EISSN: 15501477     Source Type: Journal    
DOI: 10.1155/2014/423537     Document Type: Article

References (46)

1. Agre J., Clare L., An integrated architecture for cooperative sensing networks. Computer 2000 33 5 106 108
2. Chang C.-C., Nagel D. J., Muftic S., Assessment of energy consumption in wireless sensor networks: a case study for security algorithms. Proceedings of the IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems (MASS '07) October 2007 1 6 2-s2.0-50249146919 10.1109/MOBHOC.2007.4428758
3. Chang X., Network simulations with OPNET. Proceedings of the Winter Simulation Conference Proceedings December 1999 307 316 2-s2.0-0033311578 (Pubitemid 30574775)
4. CPN Tools,. http://cpntools.org/
5. Dâmaso A., Freitas D., Rosa N., Silva B., Maciel P., Evaluating the power consumption of Wireless Sensor Network applications using models. Sensors 2013 13 3 3473 3500 2-s2.0-84875145577 10.3390/s130303473
6. Shu D., Saha A. K., Johnson D. B., RMAC: a routing-enhanced duty-cycle MAC protocol for wireless sensor networks. Proceedings of the 26th IEEE International Conference on Computer Communications (INFOCOM '07) May 2007 1478 1486 2-s2.0-34548317545 10.1109/INFCOM.2007.174
7. Eclipse Foundation, Eclipse Standard 4.3. http://www.eclispe.org
8. Gay D., Welsh M., Levis P., Brewer E., von Behren R., Culler D., The nesC language: a holistic approach to networked embedded systems. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation June 2003 ACM 1 11 2-s2.0-0037702249
9. Hedetniemi S. M., Hedetniemi S. T., Liestman A. L., A survey of gossiping and broadcasting in communication networks. IEEE Networks 1988 18 4 319 3349
10. Heinzelman W., Application-Specific Protocol Architectures for Wireless Networks [Ph.D. thesis] 2000 Boston, Mass, USA Massachusetts Institute of Technology
11. Heinzelman W. R., Chandrakasan A., Balakrishnan H., Energy-efficient communication protocol for wireless microsensor networks. Proceedings of the 33rd Annual Hawaii International Conference on System Siences (HICSS '00) January 2000 3005 3014 2-s2.0-0033877788
12. Hill J. L., Culler D. E., Mica: a wireless platform for deeply embedded networks. IEEE Micro 2002 22 6 12 24 2-s2.0-0036870095 10.1109/MM.2002.1134340
13. Hiltunen J., Ala-Louko M., Taumberger M., Experimental performance evaluation of POBICOS middleware for wireless sensor networks. ISRN Communications and Networking 2012 2012 10 180369 10.5402/2012/180369
14. The Network Simulator-NS2. ISI, University of Southern California, Los Angeles, Calif, USA, http://www.isi.edu/nsnam/ns
15. Iyer Y. G., Gandham S., Venkatesan S., STCP: a generic transport layer protocol for wireless sensor networks. Proceedings of the 14th International Conference on Computer Communications and Networks (ICCCN '05) October 2005 449 454 2-s2.0-33748361370 10.1109/ICCCN.2005.1523908
16. Jensen K., Kristensen L., Coloured Petri Nets 2009 New York, NY, USA Springer Modelling and Validation of Concurrent Systems
17. Jensen K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 2 1995 London, UK Springer
18. Jensen K., Kristensen L. M., Wells L., Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 2007 9 3-4 213 254 2-s2.0-34249933531 10.1007/s10009-007-0038-x (Pubitemid 46876307)
19. Ko Y. B., Choi J. M., Kim J. H., Kahng H. K., Goto S., A new directional flooding protocol for wireless sensor networks. Formation Networking. Networking Technologies for Broadband and Mobile Networks 2004 Berlin, Germany Springer 93 102
20. Kohvakka M., Hannikainen M., Hamalainen T., Wireless sensor network implementation for industrial linear position metering. Proceedings of the 8th Euromicro Conference on Digital System Design 2005 267 273
21. Kulkarni N., Prasad R., Cornean H., Gupta N., Performance evaluation of AODV, DSDV and DSR for quasi random deployment of sensor nodes in wireless sensor networks. Proceedings of the International Conference on Devices and Communications (ICDeCom '11) February 2011 1 5 2-s2.0-84858133667 10.1109/ICDECOM.2011.5738571
22. Lajara R., Pelegrí-Sebastiá J., Perez Solano J. J., Power consumption analysis of operating systems for wireless sensor networks. Sensors 2010 10 6 5809 5826 2-s2.0-77954806223 10.3390/s100605809
23. Levis P., Lee N., Welsh M., Culler D., TOSSIM: accurate and scalable simulation of entire TinyOS applications. Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys '3) November 2003 ACM 126 137 2-s2.0-18844399081
24. Levis P., Madden S., Polastre J., Szewczyk R., Whitehouse K., Woo A., Gay D., Hill J., Welsh M., Brewer E., Culler D., Weber W., Rabaey J. M., Aarts E., TinyOS: an operating system for sensor networks. Ambient Intelligence 2005 Berlin, Germany Springer 115 148
25. Lin P., Qiao C., Wang X., Medium access control with a dynamic duty cycle for sensor networks. Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC '04) March 2004 1534 1539 2-s2.0-4544278757
26. Manjeshwar A., Agrawal D., APTEEN: a hybrid protocol for efficient routing and comprehensive information retrieval in wireless sensor networks. Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS '02) 2002 195 202
27. Manjeshwar A., Zeng Q.-A., Agrawal D. P., An analytical model for information retrieval in Wireless Sensor Networks using enhanced APTEEN protocol. IEEE Transactions on Parallel and Distributed Systems 2002 13 12 1290 1302 2-s2.0-0036964041 10.1109/TPDS.2002.1158266
28. MEMSIC, Wireless Module Iris: Iris Datasheet. http://www.memsic.com
29. Milner R., Tofte M., Macqueen D., The Definition of Standard ML 1997 Cambridge, Mass, USA The MIT Press
30. Murata T., Petri nets: properties, analysis and applications. Proceedings of the IEEE 1989 77 4 541 580 2-s2.0-0024645936 10.1109/5.24143
31. Nogueira M., Vasconcelos Neto S., Maciel P., Lima R., Barreto R., Embedded systems'software performance and energy consumption by probabilistic modeling: an approach based on coloured petri nets. Petri Nets and Other Models of Concurrency 2006 4024 Berlin, Germany Springer 261 2281 Lecture Notes in Computer Science
32. Polastre J., Hill J., Culler D., Versatile low power media access for wireless sensor networks. Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems (SenSys '04) November 2004 ACM 95 107 2-s2.0-26444451023
33. Rusli M. E., Harris R., Punchihewa A., Markov Chain-based analytical model of opportunistic routing protocol for wireless sensor networks. Proceedings of the IEEE Region 10 Conference (TENCON '10) November 2010 257 262 2-s2.0-79951668322 10.1109/TENCON.2010.5686003
34. Sahota H., Kumar R., Kamal A., A wireless sensor network for precision agriculture and its performance. Wireless Communications and Mobile Computing 2011 11 12 1628 1645 2-s2.0-84555187658 10.1002/wcm.1229
35. Senouci M. R., Mellouk A., Senouci H., Aissani A., Performance evaluation of network lifetime spatial-temporal distribution for WSN routing protocols. Journal of Network and Computer Applications 2012 35 4 1317 1328 2-s2.0-84860384745 10.1016/j.jnca.2012.01.016
36. Shareef A., Zhu Y., Energy modeling of wireless sensor nodes based on Petri nets. Proceedings of the 39th International Conference on Parallel Processing (ICPP '10) September 2010 101 110 2-s2.0-78649531333 10.1109/ICPP.2010.19
37. Shinghal K., Noor A., Srivastava N., Singh R., Power measurements of Wireless Sensor Network node. International Journal of Computer Engineering and Science 2011 1 1 8 13
38. Yeap G., Practical Low Power Digital VLSI Design 1998 Boston, Mass, USA Kluwer Academic
39. Silva M., Terue E., Colom J., Reisig W., Rozenberg G., Linear algebraic and linear programming techniques for the analysis of place/transition net systems. Lectures on Petri Nets I: Basic Models 1998 Berlin, Germany Springer 309 373
40. Callou G., MacIel P., Tavares E., Andrade E., Nogueira B., Araujo C., Cunha P., Energy consumption and execution time estimation of embedded system applications. Microprocessors and Microsystems 2011 35 4 426 440 2-s2.0-79955554419 10.1016/j.micpro.2010.08.006
41. Tavares E., Silva B., Maciel P., An environment for measuring and scheduling time-critical embedded systems with energy constraints. Proceecings of the 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) November 2008 291 300 2-s2.0-58049141176 10.1109/SEFM.2008.47
42. Titzer B. L., Lee D. K., Palsberg J., Avrora: scalable sensor network simulation with precise timing. Proceecings of the 4th International Symposium on Information Processing in Sensor Networks (IPSN '05) April 2005 477 482 2-s2.0-33744909363 10.1109/IPSN.2005.1440978
43. Somov A., Minakov I., Simalatsar A., Fontana G., Passerone R., A methodology for power consumption evaluation of wireless sensor networks. Proceecings of the IEEE Conference on Emerging Technologies and Factory Automation (ETFA '09) September 2009 1 8 2-s2.0-77949886482 10.1109/ETFA.2009. 5347152
44. Asmussen S., Glynn P. W., Stochastic Simulation: Algorithms and Analysis 2007 New York, NY, USA Springer
45. Biswas S., Morris R., Opportunistic routing in multi-hop wireless networks. ACM SIGCOMM Computer Communication Review 2004 34 1 69 74
46. Cano C., Bellalta B., Barceló J., Oliver M., Sfairopoulou A., Analytical model of the LPL with wake up after transmissions MAC protocol for WSNs. Proceedings of the 6th International Symposium on Wireless Communication Systems (ISWCS '09) September 2009 146 150 2-s2.0-71449097501 10.1109/ISWCS.2009.5285320