Gravar-mail: SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications