Arya, Riju (2013) Modeling and Validation of Transmission Range Adjustment Algorithm in Wireless Sensor Network Using Colored Petri Nets. MTech thesis.