Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Electronic Notes in Theoretical Computer Science

Volumn 242, Issue 2, 2009, Pages 31-42

  Azgomi, Mohammad Abdollahi ^a   Khalili, Ali ^a  

^a IRAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Iran)

Author keywords

Coluored Petri Nets; Formal Methods; Medium Access Control Protocols; Wireless Sensor Networks

Indexed keywords

COLOURED PETRI NETS; COLUORED PETRI NETS; ENERGY AWARE; FORMAL MODELING; HIERARCHICAL MODELING; MAC PROTOCOL; MEDIUM ACCESS CONTROL PROTOCOLS; MODELING TECHNIQUE; PERFORMANCE EVALUATION;

AD HOC NETWORKS; FORMAL METHODS; GRAPH THEORY; MOBILE AD HOC NETWORKS; PETRI NETS; SECURITY SYSTEMS; SENSOR NETWORKS; TELECOMMUNICATION NETWORKS; WIRELESS SENSOR NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

MEDIUM ACCESS CONTROL;

EID: 67649814199     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.021     Document Type: Article

References (15)

1. Akyildiz I.A., Su W., Sankarasubramaniam Y., and Cayirci E. A Survey of Sensor Networks. IEE Communication Magazine 40 (2002) 102-115
2. Capek, J., "Petri Net Simulation of Non-deterministic MAC Layers of Computer Communication Networks," Ph.D. Thesis, Czech Technical University, 2003
3. Cavin D., Sasson Y., and Schiper A. On the Accuracy of MANET Simulators. Proc. of POMC (2002), AC Press 38-43
4. CPN Tools. URL. http://wiki.daimi.au.dk/cpntools/
5. Graff, C.J., Giardina, C., Dynamic Petri Nets: A New modeling Technique for Sensor and Distributed Concurrent Systems, Proc. of the IEEE Military Communications Conference, (2005)
6. I.S. Department, Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, IEEE Std. 802.11, (1999)
7. Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Volume 1 (1992), Springer-Verlag
8. Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Volume 2 (1995), Springer-Verlag
9. Luo, Y., Tsai, J.J.P., A Graphical Simulation System for Modeling and Analysis of Sensor Networks, Proc. of the 7th IEEE Int'l Symp. on Multimedia (2005)
10. Morera, P.H., Gonzalez, T.M.P., A CPN Model of the MAC Layer, In K. Jensen (ed.): Proceedings of the 2nd Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus (1999), 153-172
11. NS-2 network simulator. URL. http://www.isi.edu/nsnam/ns/
12. Olveczky P.C., and Thorvaldsen S. Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. Lecture Notes in Computer Science Vol. 448 (2007) 1611-3349
13. OPNET Modeler. URL. http://www.opnet.com/solutions/network_rd/modeler.html
14. Xiong, C., Murata, T., Tsai, J., Modeling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Coloured Petri Nets, Proc. of Workshop on Formal Methods Applied to Defense Systems (2002), 145-153
15. Ye W., Heidemann J., and Estrin D. An Energy-Efficient MAC Protocol for Wireless Sensor Networks. IEEE/ACM transaction on networking 12 3 (2004)