Panigrahi, Bibhuti Bhusan and Parida, Sunil Kumar (2009) Neighborhood Detection in Mobile Ad-Hoc Network Using Colored Petri Net. BTech thesis.