We are happy to announce a new release of TAPAAL 1.3.

This release fixes a number of bugs and brings several new features like:

• parametrized net templates with constants
• optimization of the number of extra tokens in case the net is bounded
• export of nets directly to tikz
• improved layout of the list of queries
• automatic update notifier