My coursework 2013 - Modeling DEDS with timed Petri nets - View it on GitHub