TAPAAL is a free open-source editor, simulartor and verification tool for Timed-Arc Petri nets.
Se www.tapaal.net or Wiki pages
