Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets