Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network
| Autor: | Debansu Panda, Lopamudra Mohapatra |
|---|---|
| Rok vydání: | 2012 |
| Předmět: |
Star network
business.industry Wireless ad hoc network Computer science Node (networking) Distributed computing ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS Coloured Petri net Ring network Petri net Transmission (telecommunications) Optimized Link State Routing Protocol business Computer network |
| Zdroj: | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783642273070 |
| DOI: | 10.1007/978-3-642-27308-7_9 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|