Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. - Kristian L. Espensen; Mads K. Kjeldsen; Lars Michael Kristensen (Petri Nets, 2008)