Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN
Table 2
The function.
Function
Definition
fun CNTR
This function is used to determine the counter of steps, if home coordinates are equal to current coordinates then steps will remain same; otherwise steps will increase by 1 on each move
Fun POSTN
This is a flag function, which depicts 3 states of MN. 3 flags are “HOME,” “MOVING,” and “FINISH.” When MN is at first coordinate the HOME tag is shown in traveling status, when moving towards destination then “MOVING” and at last when reached its destination then “FINISH” flag is reflected in status like 1′(1, 0, (67, 10), (67, 10), (43, 66), HOME) @ 0
fun MOVE
This is an important function, which is responsible for MH movement as per requirement of requisite speed and direction
fun STEPINC
This function is used to increment step counter to be 1 on each move
fun CSTATUS
This function is used to check whether MH has reached to the destination or not and updates statues accordingly
Fun NDIR
This function decides the direction of MH for destination