Modelling of CVBF algorithm using Coloured Petri Nets

Modelling is a general method used throughout the development of systems. Numerous modelling languages were proposed for analyzing and building systems. Petri Nets language is considered as one of the formal modelling and analysis techniques. These techniques allow users to do both the performance evaluation and model checking. Coloured Petri Nets (CPN) is one of the modelling languages especially for discrete-event systems. In this paper, we use Coloured Petri Nets to model and analyze the behavior of the Clustering Vector-Based Forwarding (CVBF) routing protocol in Underwater Wireless Sensor Networks (UWSNs). Our proposed model is tested and verified by the state space statistics analysis which results that the proposed CPN model is liveness, responsiveness and free from deadlocks. The results of the performance evaluation of the proposed model demonstrate the proposed model capability to increase both the packet delivery ratio and the average end-to-end delay.