Research Article

Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

Figure 4

The CPN model of RWP mobility model.
798927.fig.004