This protocol models a protocol for routers routing packets between a mobile ad-hod network and a traditional network. The protocol is described in L.M. Kristensen and K. Jensen: “Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks“, In: Integration of Software Specification Techniques for Applications in Engineering, pages 248-269. Volume 3147 of Lecture Notes in Computer Science — Springer-Verlag, September […]
Dynamic MANET On-demand Routing Protocol
This model implements the IEFT protocol Dynamic MANET On-demand Routing Protocol (or DYMO). The protocol is described in K.L. Espensen, M.K. Kjeldsen, and L.M.Kristensen: “Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks“, In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, pages 152-170. Volume 5062 of Lecture Notes in Computer Science — Springer-Verlag, June 2008. If […]
