Please use this identifier to cite or link to this item:
|Title:||Modeling of a Topology Adaptive Clustering Algorithm for Mobile Ad Hoc Networks using Petri Nets|
Rath, S K
|Citation:||Conference of World Academy of Science, Engineering and Technology 69, Singapore, 2010|
|Abstract:||Abstract- The modeling of a communication protocol for a distributed computing system requires making clear inputs and outputs of the remote communicating entities and the formal modeling of the communication channel in th aim of protocol verification or validation. Petri nets are the formal tool which is mostly used for the purpose of modeling and validation. The coloured Petri Net model of a system can be an executable model representing the different states of the system as well as the events that can cause the system to change its states. In this paper we model a distributed topology adaptive clustering algorithm for mobile ad hoc networks by using the coloured petri net tools.|
|Description:||Copy right belongs to World Academy of Science, Engineering and Technology|
|Appears in Collections:||Conference Papers|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.