Hareesh, Garimidi (2015) Dynamic Modeling of Routing Protocols Using Colored Petri Net. MTech thesis.