Coloured Petri Net Model for Vector-Based Forwarding Routing Protocol

Modelling and simulation has an important role in understanding the performance of systems like Underwater Wireless Sensor Networks (UWSNs) before its implementation, where development and testing of actual system become expensive and time consuming. Special characteristics of underwater environments makes UWSNs meet many challenges. Many routing protocols for UWSNs were proposed in order to find out an efficient route between the sources and the sink. The aim of this paper is to use Coloured Petri Nets (CPNs) to model and analyze the behavior for one of the routing protocols in UWSNs, Vector-Based Forwarding routing protocol. CPNs are preferred for their ability to study and designate discrete event systems that are considered as concurrent, parallel and asynchronous. Our model is verified by two phases: First, by the state space statistics analysis which results that the proposed CPN model is liveness and free from deadlocks. Second, by the performance analysis in which demonstrates that the proposed model increases both the packet delivery ratio and the average end-to-end delay.