Modelling scheduling problems with timed Petri nets