TAPAAL News
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]
TAPAAL 3.1.0
TAPAAL team announces the release of a majour upgrade 3.1.0 that inlcudes: * PNML import/export is now available within TAPAAL GUI. * Over/under approximation of the intervals in the net. * Optimized workflow engine, in...[more]
News
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
18.03.2019 - TAPAAL 3.5.0
More news
(c) 2008-2019