A Hierarchical CPN Model for Mobility Analysis in Zone Based MANET

  • Moitreyee Dasgupta
  • Sankhayan Chaudhury
  • Nabendu Chaki
Part of the Advances in Intelligent Systems and Computing book series (volume 167)


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.


mobility analysis MANET Hierarchical CPN Colored Petri net 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 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
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 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. 9.
    Rajaratnam, M.G., Takawira, F.: Hand-off Traffic Modelling in Cellular Networks. In: Global Telecommunications Conference, GLOBECOM (1997)Google Scholar
  10. 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

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2012

Authors and Affiliations

  • Moitreyee Dasgupta
    • 1
  • Sankhayan Chaudhury
    • 1
  • Nabendu Chaki
    • 1
  1. 1.University of Calcutta, IndiaKolkataIndia

Personalised recommendations