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.
2014-06-22 - (1 min read)
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 particular for strong soundness check. New untimed structural reductions in verifyPN engine. Possibility to define general arithmetic queries over the number of tokens in places (in the manual edit mode). Fastes trace option added to the query dialog for the discrete-time engine.
... (Read more)
2014-02-26 - (1 min read)
The TAPAAL team is very happy to announce a major upgrade of TAPAAL. The new release of 3.0.0 includes numerous GUI improvements and bug fixes, together with the following selected new features.
GUI and verification support for timed workflow analysis (available under Tool/Workflow analysis) that allow to check for soundness and strong soundness of workflow nets and computing the shortest and longest execution times. A brand new dedicated verification engine verifypn that supports an efficient verification of untimed nets and allows for a quick linear over-approximation test even for timed nets.
... (Read more)
2014-01-26 - (1 min read)
We are happy to announce an update to our tool that fixes an issue for trace generation in the discrete TAPAAL engine for EG/AF queries and the Time Dart option.
2013-09-25 - (1 min read)
We are very happy to introduce a new release of TAPAAL 2.4.1 that contains some bug fixes, namely:
a problem with loading verifyta.exe file (UPPAAL engine) on some windows installations running Java 6, a bug in simulator when used with urgent transitions, corrects the interpretation of verification results as some are actually valid also for the continuous semantics, and propertly terminates processes run via the batch processing dialog.
2013-09-10 - (1 min read)
We are very happy to introduce a new release of TAPAAL 2.4.0 that
adds the possibility to model urgent transitions (enabled urgent transition disables time passing), adds deadlock as one of a possible propositions in the query dialog (a marking is a deadlock if after any delay no transition gets ever enabled), improves the simulator by adding a random automated simulator and allowing to export/import traces, fixes a number of bugs and contains some GUI improvements, and makes performance improvements in the discrete-time engine verifydtapn.
... (Read more)
TAPAAL