Edge Router Discovery Protocol

This protocol models a protocol for routers routing packets between a mobile ad-hod network and a traditional network.

The protocol is described in

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.

Download erdp.cpn.zip