2012 | OriginalPaper | Buchkapitel
Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network
verfasst von : Lopamudra Mohapatra, Debansu Panda
Erschienen in: Advances in Computer Science and Information Technology. Computer Science and Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.