TAPAAL News
Two Silver Medals for TAPAAL
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...[more]
TAPAAL 3.2.0
The TAPAAL Team announces the release of TAPAAL 3.2.0 that includes: the possibility to hide/show place and transition namescreation of shared places and transitions directly from the context menuimproved simulator that allows...[more]
Silver Medal for TAPAAL Defended
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...[more]
TAPAAL 3.1.3
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, andimproves compatibility with the most recent...[more]
Silver Medal for TAPAAL
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...[more]
TAPAAL 3.1.2
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...[more]
TAPAAL 3.1.1
TAPAAL team announces the release of 3.1.1 that inlcudes: bug fixes in the untimed and discrete verification enginessmall bug fixes in the GUIPNML loading for nets with fractional x/y-coordinatesoverrride of queries in...[more]
News
18.03.2020 - TAPAAL 3.6.1
21.10.2019 - TAPAAL 3.6.0
23.04.2019 - TAPAAL 3.5.1
08.04.2019 - TAPAAL won 4 gold medals at MCC'19
More news
(c) 2008-2019