My coursework 2013 - Modeling DES with timed Petri nets