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)
2013-04-30 - (1 min read)
We are very happy to introduce a new release of TAPAAL 2.3.0 that
supports Java 7 (and Java 6), has a considerably improved discrete verification engine verifydtapn 2.0 which includes semi-symbolic optimization called timed-darts and memory optimization option PTrie, has a brand new simulator that shows the currently enabled transitions (red ones) and future-enabled transitions (blue ones), supports native file open/save dialogs, contains numerous GUI improvements (constant highlight, deadlock information in trace simulation), and fixes a number of bugs.
... (Read more)
2013-01-01 - (1 min read)
We are very happy to introduce a new release of TAPAAL 2.4.2 that contains some bug fixes, namely:
explanation for verification results in batch processing and correction of PTrie and Dart options for the verifydtapn engine editor improvements for urgent transitions and shared places/transitions problem with UPPAAL translations for models with zero tokens and zero extra tokens deadlock reporting problem in simulator loading invalid XML files problem with removing orphan transitions that have inhibitor arcs “some trace” option is now remembered undo/redo of urgency flag fix for boundedness check with verifydtapn engine a few other bug fixes.
... (Read more)
2012-12-05 - (1 min read)
TAPAAL 2.2.1 is fixing a few bugs in the discrete verification engine of TAPAAL (verifydtapn), namely:
a memory leak, a problem with search termination for liveness properties, and a problem in computing successors for nets with weights The GUI has not been modified since 2.2.0.
2012-10-22 - (1 min read)
TAPAAL 2.2.0 is a major upgrade of the tool featuring a new open source engine for closed timed-arc Petri nets. The main new features are:
new TAPAAL engine called verifydtapn for discrete verification of closed nets updated TAPAAL engine verifytapn transition statistics that shows how many times transitions were enabled during the search support for weighted arcs in the editor, simulator and the new engine fully adjustable workspace that can be saved in preferences new shortcuts, namely the arrows that can be used both in editor and simulator (e.
... (Read more)
2012-10-16 - (1 min read)
TAPAAL 2.1.3 is a maintenance release fixing some minor problems in the editor when multiple objects were selected and when deleting places. It also fixes a problem in a simulator where arrows used in the delay field affected also the current position in the trace.
TAPAAL