Advances in Computer Science and Information Technology. Computer Science and Engineering. Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

Research Article

Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network

Download
319 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-27308-7_9,
        author={Lopamudra Mohapatra and Debansu Panda},
        title={Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network},
        proceedings={Advances in Computer Science and Information Technology. Computer Science and Engineering. Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II},
        proceedings_a={CCSIT PATR II},
        year={2012},
        month={11},
        keywords={Coloured Petri Nets Ad-hoc network Dynamic Transmission Range Adjustment Protocol Transmission Range Neighbouring nodes Topology Control Routing},
        doi={10.1007/978-3-642-27308-7_9}
    }
    
  • Lopamudra Mohapatra
    Debansu Panda
    Year: 2012
    Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network
    CCSIT PATR II
    Springer
    DOI: 10.1007/978-3-642-27308-7_9
Lopamudra Mohapatra1,*, Debansu Panda1,*
  • 1: National Institute of Technology Rourkela
*Contact email: lopamudra.cse@gmail.com, debansu89@hotmail.com

Abstract

The IEEE 802.11 standard defines two operational modes for WLANs: infrastructure-based and infrastructure-less or ad-hoc. With constrained resources and limited computational capability, it may not be able for a node to serve more number of neighbours at the same time. The Dynamic Transmission Range Adjustment Protocol provides a mechanism for adjusting transmission range of the ad-hoc nodes to register or de-register a communicating node as its neighbour by dynamically varying the transmission range. Coloured Petri Nets is the modelling tool which provides a framework for design, specification, validation and verification of systems. In this paper, this tool is used to model and validate Dynamic Transmission Range Adjustment Protocol.