Formal modeling approach for wireless sensor networks and its applications

Chinese Journal of Sensors and Actuators

Volumn 21, Issue 9, 2008, Pages 1623-1628

  Fu, Xiao ^a   Yu, Zhen Hua ^a,c   Liu, Yu ^b  

^a AIR FORCE ENGINEERING UNIVERSITY   (China)

^b XI AN INSTITUTE OF APPLIED OPTICS   (China)

^c XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Model; Multi agent systems; Petri nets; Wireless sensor networks

Indexed keywords

EID: 57149129912     PISSN: 10041699     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. Akyildiz L F, Su W, Sankarasubramaniam Y, Cayirci E. Wireless Sensor Networks: a Survey [J]. Computer Networks, 2002, 38(4): 393-422.
2. Akyildiz I F, Su W J, Sankarasubramaniam Y, Cayirci E. A Survey on Sensor Networks[J]. IEEE Communications Magazine, 2002, 40(8): 102-114.
3. Chinese source
4. Chinese source
5. Jennings N R, Sycara K, Wooldridge M J. A Roadmap of Agent Research and Development[J]. Autonomous Agent and Multi-Agent Systems, 1998, 1(1): 7-38.
6. Zambonelli F, Omicini A. Challenges and Research Directions in Agent-Oriented Software Engineering[J]. Autonomous Agents and Multi-Agent Systems, 2004, 9(3): 253-283.
7. Lesser V, Ortiz C, Tambe M. Distributed Sensor Networks: a Multiagent Perspective[M]. Kluwer Publishers, 2003.
8. Marsh D, Tynan R, O'Kane D, P. O'Hare G M. Autonomic Wireless Sensor Networks [J]. Engineering Applications of Artificial Intelligence, 2004, 17: 741-748.
9. Brannstrom M, Jungert E. A Scalable Agent Architecture for a Dynamic Sensor Network[J]. Electronic Notes in Theoretical Computer Science, 2003, 68(3): 1-16.
10. Silva M S, Martins F, Lopes L, Barros J. A Calculus for Sensor Networks[R]. arXiv: cs.DC/0612093vl, 2006, 12.
11. Chinese source
12. Chinese source
13. Chinese source
14. Chinese source
15. Shatz S M, Tu S, Murata T, Duri S. An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis[J]. IEEE Transactions on Parallel and Distributed Systems, 1996, 7 (12): 1307-1322.
16. Roch S. Starke P H. INA: Integrated Net Analyzer. Version 2. 2 [EB/OL]. www2. informatik, huberlin. de/~starke/ ina.html. 2007.