2018-08-23 - (1 min read)
Yesterday we celebrated 10 Years Anniversary of TAPAAL. It was great to meet 21 out of the total of 34 TAPAAL developers, some of them arriving also from USA.
2018-06-29 - (1 min read)
We are glad to announce another update of TAPAAL 3.4.3 that
fixes a bug in the untimed engine for partial order reduction with inhibitor arcs, and
fixes a bug in the unfolding of colored Petri nets in the untimed engine.
This is a recommend update for all TAPAAL users.
2018-06-27 - (1 min read)
We are very glad to announce that TAPAAL won a gold medal both in the reachability and CTL model checking category and a silver medal in upper bounds category at Model Checking Contest 2018 in Bratislava. More details can be found here https://mcc.lip6.fr/results.php.
2018-05-14 - (1 min read)
We are glad to announce another update of TAPAAL 3.4.2 that
fixes issues with PNML and XML query export of nets,
fixes a net composition with constants on weighted arcs,
structural transition statistics now includes the rules A to I,
fixes an uncought exception when renaming transitions to an invalid name, and
is distributed with the untimed engine verifypn 3.0.0 contains a general performance improvement, adds support for colored nets verification (no GUI support yet) and fixes a number of bugs for nets with inhibitors arcs, arithmetic exppressions and other small issues.
... (Read more)
2018-05-03 - (1 min read)
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.
... (Read more)
2018-01-24 - (1 min read)
We are happy to announce the release of TAPAAL 3.4.0 with improved engines for the discrete-time verification (verifydtapn) and the untimed engine (verifypn). It also includes a GUI support for using partial order reduction for the discrete-time engine. The summary of features are:
Partial order reduction to the verifydtapn engine. Support for timed-safety-games to the engine (no GUI support yet). Refactoring of verifydtapn engine and all around for performance improvement (including new successor generator).
... (Read more)
2017-10-05 - (1 min read)
We are proud to announce that also at this year Model Checking Contest 2017, TAPAAL won a silver medal both in the reachability category and also in the CTL model checking category. We are very glad to release a new TAPAAL 3.3.0 version that now includes also the newest implementation of the verifypn (untimed) engine as well as a full GUI support and integration of the CTL engine. The main new features include:
... (Read more)
2016-09-19 - (1 min read)
TAPAAL Team Announce the Release of TAPAAL 3.2.1 that includes
several bug fixes in the GUI and improved performance of the untimed verifypn engine. We are not distributing 32 bit binaries for linux and mac anymore as we do not think they used. Should you miss them, let us know please.
2016-08-09 - (1 min read)
In this year competition of Petri net tools our tool TAPAAL defended a silver medal in the reachability category and for the first time participated also in the CTL category where it received also a silver medal. More details can be found here.
2015-11-27 - (1 min read)
The TAPAAL Team announces the release of TAPAAL 3.2.0 that includes:
the possibility to hide/show place and transition names creation of shared places and transitions directly from the context menu improved simulator that allows to setup time delays using a slider a new memory compression technique (PTrie) in the engine for workflow analysis possibility to import XML queries for untimed nets from MCC-15 competition numerous bug fixes.
TAPAAL