We are glad to announce the release of TAPAAL 3.4.1 that fixes some bugs in the previous release, most notably it addresses the issues with

  • launching TAPAAL GUI on Mac Os X with Java 9,
  • conversion of Reachability to CTL queires in the query creation dialog,
  • fixes in evaluating arithmetical expressions and nested deadlock queries in the untimed verifypn engine for P/T nets.

This is a highly recommended update to all TAPAAL users.