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.