Research Article
Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network
@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
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.