Modeling of a Topology Adaptive Clustering Algorithm for Mobile Ad Hoc Networks using Petri Nets
Suchismita Chinara, Santanu Kumar Rath · 2010
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 the 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.