Advances In Verification Of Time Petri Nets And Timed Automata