On wireless sensor networks formal modeling based on petri nets

7th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2011

Volumn , Issue , 2011, Pages

  Fu, Xiao ^a   Ma, Zhiqiang ^a   Yu, Zhenhua ^a   Fu, Gang ^b  

^a AIR FORCE ENGINEERING UNIVERSITY   (China)

^b XI AN INSTITUTE OF APPLIED OPTICS   (China)

Author keywords

Model; Petri nets; Wireless sensor networks

Indexed keywords

BASE AGENTS; CLUSTER HEAD; EARLY DESIGN STAGES; FORMAL MODELING; INDIVIDUAL CHARACTERISTICS; SUPPORTING TOOL; TARGET TRACKING SYSTEMS; WIRELESS SENSOR;

INTELLIGENT AGENTS; MOBILE COMPUTING; MULTI AGENT SYSTEMS; PETRI NETS; SENSOR NODES; SENSORS; TARGET TRACKING; TELECOMMUNICATION EQUIPMENT; WIRELESS TELECOMMUNICATION SYSTEMS;

WIRELESS NETWORKS;

EID: 80054942020     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/wicom.2011.6040356     Document Type: Conference Paper

References (15)

1. L. F. Akyildiz, W. Su, Y. Sankarasubramaniam, E. Cayirci. Wireless sensor networks: a survey. Computer Networks, 2002, 38(4): 393-422.
2. I. F. Akyildiz, W. J. Su, Y. Sankarasubramaniam, E. Cayirci. A survey on sensor networks. IEEE Communications Magazine, 2002, 40(8): 102-114.
3. N. R. Jennings, K. Sycara, M. J. Wooldridge. A roadmap of agent research and development. Autonomous Agent and Multi-Agent Systems, 1998, 1(1): 7-38.
4. F. Zambonelli, A. Omicini. Challenges and research directions in agentoriented software engineering. Autonomous Agents and Multi-Agent Systems, 2004, 9(3): 253-283
5. V. Lesser, C. Ortiz, M. Tambe. Distributed sensor networks: a multiagent perspective. Kluwer Publishers, 2003.
6. D. Marsh, R. Tynan, D. O'Kane, G. M. P. O'Hare. Autonomic wireless sensor networks. Engineering Applications of Artificial Intelligence, 2004, 17: 741-748.
7. M. Brannstrom, E. Jungert. A Scalable Agent Architecture for a Dynamic Sensor Network. Electronic Notes in Theoretical Computer Science, 2003, 68(3): 1-16.
8. X. Wang, D. Bi, L. Ding, et al. Agent Collaborative Target Localization and Classification in Wireless Sensor Networks. Sensors, 2007, 7: 1359-1386.
9. J. Wu, S. Yuan, S. Ji, et al. Multi-agent system design and evaluation for collaborative wireless sensor network in large structure health monitoring. Expert Systems with Applications (2009), doi:10.1016/j.eswa.2009.06.098.
10. Y. Xu, H. Qi. Distributed computing paradigms for collaborative signal and information processing in sensor networks. International Journal of Parallel and Distributed Computing, 2004, 64 (8): 945-959.
11. Q. Pan, J. M. Wei, H. T. Liu, et al. Virtual field strategy for collaborative signal and information processing in wireless heterogeneous sensor networks. Computer Networks, 2008, 52(16): 3148-3168.
12. H. Shokrzadeh, A. T. Haghighat, A. Nayebi. New routing framework base on rumor routing in wireless sensor networks. Computer Communications, 2009, 32(1): 86-93.
13. T. Murata. Petri nets: properties, analysis, and application. Proceedings of the IEEE, 1989, 77(4):541-580.
14. S. Roch, P. H. Starke. INA: integrated net analyzer, Version 2.2. www2.informatik.huberlin.de/~starke/ina.html, 2007.
15. X. Fu, Z. Yu, and Y. Liu. Formal Modeling Approach for Wireless Sensor Networks and Its Applications. Chinese Journal of Sensors and Actuators, 2008, 21(9): 1623-1628.