TAPAAL (Aalborg University)

Free
A tool for modelling, simulation, and verification of Timed-Arc Petri net.