Kachhap, Bineeta (2011) Designing of a simulation tool to analyse the dining philosopher's problem by petri net analysis. BTech thesis.