Modeling and simulation of an improved random direction mobility model for wireless networks using colored Petri nets.