A hierarchical CPN model for mobility analysis in zone based MANET

Abstract

The crucial decision issues in MANET like load balancing or link discovery after an existing link breakage for routing are dependent on the mobility of the participating nodes. These decisions will be accurate if the changes within the network due to mobility can be apprehended efficiently. In this paper, we have proposed a formal modeling approach to assess the changes in terms of node density in a zone based network. A two layered Colored Petri net is proposed for describing the mobility of a single node and the resulting changes within a network due to this mobility. The model is expected to provide useful information through analysis and that helps a lot for taking these critical decisions. © 2012 Springer-Verlag GmbH.