Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks-Reference-Cited by-同舟云学术

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

Published:2008 Issue: Volume: Page:152-170
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Espensen Kristian L.,Kjeldsen Mads K.,Kristensen Lars M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68746-7_13

Reference20 articles.

1. Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal Verification of Standards for Distance Vector Routing Protocols. Journal of the ACM 49(4), 538–576 (2002)

2. Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing. Internet-Draft. Work in Progress (November 2007), http://www.ietf.org/internet-drafts/draft-ietf-manet-dymo-11.txt

3. Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing. Internet-Draft. Work in Progress (July 2007), http://www.ietf.org/internet-drafts/draft-ietf-manet-dymo-10.txt

4. CPN DYMO Model, http://www.daimi.au.dk/~kris/cpndymo.cpn

5. CPN Tools Home page, http://www.daimi.au.dk/CPNTools

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets;2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC);2024-05-14

2. Performance of Routing Protocols over TDMA MAC for Robotic Swarms in Space Exploration;2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring);2022-06

3. A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks;Journal of King Saud University - Computer and Information Sciences;2020-11

4. Research on Situation Awareness of Airport Operation Based on Petri Nets;IEEE Access;2019

5. Industrial applications of the PetriDotNet modelling and analysis tool;Science of Computer Programming;2018-06