TAPAAL 3.4.0 Released2018-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.
2015-06-26 - (1 min read)
We are proud to announce that at this year’s annual model checking contest the model checker TAPAAL defended the silver medal in the category of reachability analysis of P/T nets, this time in competition also with tools that implement parallel state-space exploration, and it was the first tool in the subcategory of deadlock detection. The results were announced on June 23rd, 2015 at the Petri Net conference in Bruxelles. Details about the competition should become soon available at the competition web-page here.
... (Read more)
2014-12-02 - (1 min read)
TAPAAL Team Announce the Release of TAPAAL 3.1.3 that includes
bug fixes in the workflow analysis and query creating dialog, allows to execute 0 time unit delays in the simulator, and improves compatibility with the most recent UPPAAL verification engine.
2014-09-03 - (1 min read)
We are happy to announce that TAPAAL won a silver medal at the annual Model Cheching Contest in Tunis this year (co-located with Petri Nets 2014) in the reachability cathegory and received a medal for a third place in the state-space generation cathegory.
Details can be found here.
2014-08-28 - (1 min read)
TAPAAL Team Announce the Release of TAPAAL 3.1.2 that includes
bug fixes in the untimed and discrete verification engines small GUI improvements in the simulator fixes a bug in the query dialog that allowed to use darts in cases where it should be disabled improved export/import of traces in a new XML format.
2014-07-15 - (1 min read)
TAPAAL team announces the release of 3.1.1 that inlcudes:
bug fixes in the untimed and discrete verification engines small bug fixes in the GUI PNML loading for nets with fractional x/y-coordinates overrride of queries in batch processing for deadlock check displays place-bound statistics for the discrete engine verifydtapn. A highly recommended upgrade to all TAPAAL users.
TAPAAL (Aalborg University)