About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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(Requires a free EAI acccount)
416 downloads
Cite
BibTeX Plain Text
  • @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.

Keywords
Coloured Petri Nets Ad-hoc network Dynamic Transmission Range Adjustment Protocol Transmission Range Neighbouring nodes Topology Control Routing
Published
2012-11-09
http://dx.doi.org/10.1007/978-3-642-27308-7_9
Copyright © 2012–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL