Mohapatra, Lopamudra and Panda, Debansu (2011) Coloured Petrinet for Modelling and Validation of Dynamic Transmission Range Adjustment Protocol for Ad Hoc Network. BTech thesis.
