An approach for verifying routing protocols in Mobile Ad Hoc Networks using Petri nets

Proceedings of the IEEE 6th Circuits and Systems Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication

Volumn 2, Issue , 2004, Pages 537-540

  Xiong, Chaoyue ^a   Murata, Tadao ^a   Leigh, Jason ^a  

^a University of Illinois   (United States)

Author keywords

Mobile ad hoc networks; Petri nets; Routing protocol; Verification

Indexed keywords

COMPUTER NETWORKS; FUZZY SETS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PETRI NETS; RELIABILITY; ROUTERS;

COLORED PETRI NETS (CPN); MOBILE AD HOC NETWORKS (MANET); ROUTING PROTOCOLS; VERIFICATION;

MOBILE COMPUTING;

EID: 20344398454     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. C. E. Perkins, Ad Hoc Networking. Addison-Wesley, 2000.
2. K. Bhargavan, C. A. Gunter, M. Kim, I. Lee, D. Obradovic, O. Sokolsky and M. Viswanathan, "Verisim: Formal Analysis of network simulations," IEEE Trans. Software Engineering. Vol. 28, No. 2, pp. 129-145, Feb. 2002.
3. K. Bhargavan, D. Obradovic and C. A. Gunter, "Formal Verification of Standards for Distance Vector Routing protocols," Journal of ACM, to be published.
4. C. E. Perkins, E. M. Royer and S. Das, "Ad Hoc On-Demand Distance Vector (AODV) Routing". Internet-Draft Version 10, (IETF), Dec. 2001. draft-ietf-manet-aodv-10.txt.
5. C. Xiong, T. Murata and J. Tsai, "Modeling and Simulation of Routing Protocol for Mobile Ad Hoc networks Using Colored Petri Nets," Research and Practice in Information Technology, vol. 12, pp. 145-153, Australian Computer Society, 2002. Available: http://www.jrpit.flinders.edu.au/ CRPITVolumeIndex.html).
6. T. Murata, T. Suzuki and S. Shatz, "Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems," in J. Cardoso and H. Camargo (editors) "Fuzziness in Petri Nets" Vol. 22 in the series "Studies in Fuzziness and Soft Computing" by Springer Verlag, New York, pp. 88-114, 1999
7. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing, 1997.
8. K. Jensen, Design/CPN [Online]. Dept. Computer Science, Univ. Aarhus, Denmark. Available: http://www.daimi.au.dk/designCPN/.
9. Homepage of The Internet Engineering Task Force. Available: http://www.ietf.org/.
10. R. Diestel, Graph theory, Springer 1997.