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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Basagni, S.: Mobile Ad Hoc Networking. John Willey and Sons Publication (2004)
Hu, Y.-C., Johnson, D.B.: Securing Quality-of-Service Route Discovery in On- Demand Routing for Ad Hoc Networks (1999)
Paul, K., Bandopadhyay, S.: Self Adjusting Transmission Range Control of Mobile Hosts in Ad Hoc Wireless Networks for Stable Communication. In: Banerjee, P., Prasanna, V.K., Sinha, B.P. (eds.) HiPC 1999. LNCS, vol. 1745. Springer, Heidelberg (1999)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petrinets and CPN Tools for Modelling and Validation of Concurrent Systems. Int. J. Softw. Tools Technol. Transfer 9, 213–254 (2007); University of Aarhus (1996)
Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioners Guide to Coloured Petri nets. Int. J. STTT 2, 98–132 (1998); University of Aarhus (1998)
Tan, H.X., Seah, W.K.G.: Dynamic Topology Control to Reduce Interference in MANETs, Department of Computer Science, School of Computing, National University of Singapore. In: Proc. of 2nd International Conference on Mobile Computing and Ubiquitous, 2005 Networking (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Mohapatra, L., Panda, D. (2012). Coloured Petri Net for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol in an Ad-Hoc Network. In: Meghanathan, N., Chaki, N., Nagamalai, D. (eds) Advances in Computer Science and Information Technology. Computer Science and Engineering. CCSIT 2012. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27308-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-27308-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27307-0
Online ISBN: 978-3-642-27308-7
eBook Packages: Computer ScienceComputer Science (R0)