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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Hoffmann, K., Mossakowski, T.: Algebraic higher-order nets: Graphs and petri nets as tokens. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 253–267. Springer, Heidelberg (2003)
Schröder, L., Mossakowski, T.: HASCASL: Towards Integrated Specification and Development of Functional Programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 99–116. Springer, Heidelberg (2002)
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)
Azgomi, A.M., Khalili, A.: of Sensor Medium Access Control Protocol Using Coloured Petri Nets. Electronic Notes in Theoretical Computer Science 242, 31–42 (2009)
Masri, A., Bourdeaud’huy, T., Toguyeni, A.: Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. Electronic Notes in Theoretical Computer Science 242, 73–85 (2009)
Cavin, D., Sasson, Y., Schiper, A.: On the Accuracy of MANET Simulators. In: Proc. of POMC, pp. 38–43. ACM Press (2002)
Rajaratnam, M.G., Takawira, F.: Hand-off Traffic Modelling in Cellular Networks. In: Global Telecommunications Conference, GLOBECOM (1997)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this paper
Cite this paper
Dasgupta, M., Chaudhury, S., Chaki, N. (2012). A Hierarchical CPN Model for Mobility Analysis in Zone Based MANET. In: Wyld, D., Zizka, J., Nagamalai, D. (eds) Advances in Computer Science, Engineering & Applications. Advances in Intelligent Systems and Computing, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30111-7_60
Download citation
DOI: https://doi.org/10.1007/978-3-642-30111-7_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30110-0
Online ISBN: 978-3-642-30111-7
eBook Packages: EngineeringEngineering (R0)