V. Chandrasekaran, S. Anitha, and A. Shanmugam, A Research Survey on Experimental Tools for Simulating Wireless Sensor Networks, International Journal of Computer Applications, vol.79, issue.16, 2013.
DOI : 10.5120/13942-1588

F. Despaux, Y. Song, and A. Lahmadi, Modelling and Performance Analysis of Wireless Sensor Networks Using Process Mining Techniques: ContikiMAC Use Case, 2014 IEEE International Conference on Distributed Computing in Sensor Systems, pp.1-8, 2014.
DOI : 10.1109/DCOSS.2014.20

URL : https://hal.archives-ouvertes.fr/hal-01093736

K. Jensen and L. Kristensen, Colored Petri Nets ? Modeling and Validation of Concurrent Systems, 2009.

D. Ibrahim and &. All, Coloured Petri Net Model for Vector-Based Forwarding Routing Protocol, International conference on Computing Technology and Information Management, 2014.

R. Jurdak, C. V. Lopes, and P. Baldi, Battery lifetime estimation and optimization for underwater sensor networks, IEEE Sensor Network Operations, pp.397-420, 2004.

B. Lacerda and P. U. Lima, Petri Nets as an Analysis Tool for Data Flow in Wireless Sensor Networks, 1st Portuguese Conf. on WSNs, pp.1-6, 2011.

L. Venkatesan and &. , A Survey on Modeling and Enhancing Reliability of Wireless Sensor Network, Wireless Sensor Network, pp.41-51, 2013.

H. Rodriguez, R. Carvajal, B. Ontiveros, and I. Soto, Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks, InTech, 2010.
DOI : 10.5772/7508

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, 2006.
DOI : 10.1145/1142680.1142684

A. Shareef and Y. Zhu, Energy Modeling of Wireless Sensor Nodes Based on Petri Nets, 2010 39th International Conference on Parallel Processing, pp.101-110, 2010.
DOI : 10.1109/ICPP.2010.19

N. Xu, A survey of sensor network applications, 2002.

Z. Yu, Y. Liu, and Y. Cai, Design of an Energy-Efficient Distributed Multi-level Clustering Algorithm for Wireless Sensor Networks, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing, p.8, 2008.
DOI : 10.1109/WiCom.2008.839

J. Ben-othman, S. Diagne, L. Mokdad, and B. Yahia, Performance Evaluation of a Medium Access Control Protocol for Wireless Sensor Networks Using Petri Nets, 2010.

M. Abdollahi-azgomi and A. Khalili, Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets, Electronic Notes in Theoretical Computer Science, vol.242, issue.2, pp.31-42, 2009.
DOI : 10.1016/j.entcs.2009.06.021

A. El-hoiydi and J. Decotignie, WiseMAC: An Ultra Low Power MAC Protocol for Multi-hop Wireless Sensor Networks, Proceedings of the First International Workshop on Algorithmic Aspects of Wireless Sensor Networks Lecture Notes in Computer Science, pp.18-31, 2004.
DOI : 10.1007/978-3-540-27820-7_4

Z. Sajeh, N. Eric, and Z. Belhassen, Global generic model for formal validation of the wireless sensor networks properties, 18th IFAC World Congress Milano (Italy), 2011.

J. Polastre, J. Hill, and D. Culler, Versatile low power media access for wireless sensor networks, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, 2004.
DOI : 10.1145/1031495.1031508

URL : http://wwwpub.zih.tu-dresden.de/~dargie/wsn/wsn_mac_jp.pdf