TAPAAL

TAPAAL is an editor and verification tool for Timed-Arc Petri Nets, developed as open source at the Department of Computer Science - Aalborg University, by Joakim Byg, Kenneth Yrke Jørgensen and Jiri Srba.

TAPAAL is based on the open source Petri Net editor PIPE2, and the verification tool Uppaal.

You can read more about the tool at www.tapaal.net and follow the development of TAPAAL at launchpad.