TAPAAL 3.6.02019-10-21 - (1 min read)
We are happy to announce the release of TAPAAL 3.6.0.
TAPAAL 3.6.0 is a new release that introduces:
Automatic layout generator for a net (available in Tools) Alignment of a net to the current grid size (available in View) Numerous bug fixes
2019-04-23 - (1 min read)
We are glad to announce the release of TAPAAL 3.5.1.
TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in the 3.5.0 release and it also fixes trace generation issue in the untimed verifypn engine.
2019-04-08 - (1 min read)
We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won four gold medals in the categories: reachability, CTL model checking, deadlock analysis and computation of upper-bounds. The detailed results can be found here: https://mcc.lip6.fr/results.php
2019-03-18 - (1 min read)
We are glad to announce a new version of TAPAAL 3.5.0 with the following updates.
Intervals on arcs can now be moved and placed arbitrarily TAPAAL model files now end with .tapn Removal of multiple places at the same time Soundness check in batch processing Easier sharing of places/transitions accross components Improved export to tikz GUI refactoring and numerous bug fixes This is a recommend update for all TAPAAL users.
... (Read more)
2018-11-27 - (1 min read)
This year, we participated for the first time in CTL model checking competition RERS and we are happy to announce that we solved all problems proposed by the competition and rank as the most successful tool in this category (though there were no medals in this category as it was an experimental run this year). More details are available (here)[http://rers-challenge.org/2018/index.php?page=results].
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)
TAPAAL (Aalborg University)