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 2004.
If you use this model for your research, please cite the above paper.
The model can be used for state-space analysis, and is configured using the fusion places on the Config page. The four boolean places, determine which version of the protocol is implemented (they are described in the paper) and the two remaining places configure the complexity of the model. The default parameters should be analyzable on most modern computers.