TAPAAL team announces the release of a majour upgrade 3.1.0 that inlcudes:

• PNML import/export is now available within TAPAAL GUI.
• Over/under approximation of the intervals in the net.
• Optimized workflow engine, in particular for strong soundness check.
• New untimed structural reductions in verifyPN engine.
• Possibility to define general arithmetic queries over the number of tokens in places (in the manual edit mode).
• Fastes trace option added to the query dialog for the discrete-time engine.
• Place-bound statistics of a search added for the untimed verifyPN engine.
• Improved export of the net as a latex (tikz) file.

A highly recommended upgrade to all TAPAAL users.