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

Figure 6

HOME To DESTINATION moving pattern of MH based on Table 3.