Network Modelling of a Blackhole Prevention Mechanism in Mobile Ad-hoc Network

Network Modelling is a useful working domain for generating an insight about the events occurring in a network. In today´s scenario, Network security is one of the most important concerns and Black hole attack is one of them. Most of the proposed works for preventing Black hole in MANET are being simulated through a network simulator for performance evaluation. But the result of simulating an algorithm may be different, depending on the selected tool, because of important divergence between simulators. These solutions are not validated in true sense and as a result an occurrence of an error would be a nightmare for the solution provider after deployment of the protocol. Thus in an alternative way, a formal model of any proposed solution should be needed for the verification and validation of the process. In this paper we have proposed a coloured Petri net model for an anti black hole mechanism through coloured Petri net. The proposed formal CPN model for black hole preventing solution is being simulated through a CPN tool and analyzed to verify the necessary properties.