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.