We are happy to announce a new release of TAPAAL 1.4 that adds new features like

• timed inhibitor arcs,
• completely new query creation dialog,
• option to model and verify untimed Petri nets (mainly for educational purposes),
• several visual improvements,
• bug fixes and
• it deals with the new licensing policy of UPPAAL.

The release also contains an improved example of Alternating Bit Protocol that shows the power of transport arcs that allow to time-stamp tokens travelling in the net.

TAPAAL development team.