A Hierarchical CPN Model for Mobility Analysis in Zone Based MANET
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.
Keywordsmobility analysis MANET Hierarchical CPN Colored Petri net
Unable to display preview. Download preview PDF.
- 1.Chinara, S., Rath, K.S.: Modeling of a Topology Adaptive Clustering Algorithm for Mobile Ad Hoc Networks using Coloured Petri Nets. World Academy of Science, Engineering and Technology 69 (2010)Google Scholar
- 2.Jensen, K., Kristensen, S.L., Wells, L.: Coloured Petri net and CPN Tool for modelling and validation for concurrent systems. International Journal on Software Tools for Technology Transfer (2007)Google Scholar
- 5.Janneck, W.J., Esser, R.: Higher-order Petri net modelling –techniques and applications. Application and Theory of Petri nets: Formal Methods in Software Engineering and Defence Systems 12 (2002)Google Scholar
- 8.Cavin, D., Sasson, Y., Schiper, A.: On the Accuracy of MANET Simulators. In: Proc. of POMC, pp. 38–43. ACM Press (2002)Google Scholar
- 9.Rajaratnam, M.G., Takawira, F.: Hand-off Traffic Modelling in Cellular Networks. In: Global Telecommunications Conference, GLOBECOM (1997)Google Scholar
- 10.Jain, R.: Integrating Distributed Channel Allocation and Handoff Management for Cellular Networks. In: IET-UK International Conference on Information and Communication Technology in Electrical Sciences, ICTES 2007 (2007)Google Scholar