TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets