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.
2012-09-30 - (1 min read)
TAPAAL 2.1.2 is a maintenance release fixing a few smaller bugs in the GUI as well as the interpretation of the verification answers for EG and AF queries. A recommended update for all TAPAAL users.
2012-07-22 - (1 min read)
TAPAAL 2.1.1 is a maintenance release fixing several bugs and
improving the speed of loading large models and moving/sorting in the component list, introducing a new update notification dialog, fixing a rare memory leak in the TAPAAL engine verifytapn, possibility to change the values of constants using the arrows left/right, user preferences are now relative to the version of TAPAAL, tool tips can be disabled, query dialog allows to create any query and suggests automatically the most suitable verification engine, and it is now possible to move in the error trace using the arrows up/down while the arrows left/right change the currently displayed component.
... (Read more)
2012-03-17 - (1 min read)
TAPAAL 2.1.0 is a major release with several new features and GUI improvements. The main updates include:
A new version of TAPAAL engine that allows to use discrete inclusion technique even for queries that are now upward closed. Numerous GUI improvements including a fully resizable panels, possibility for different workspace configurations for showing/hiding the interval [0,inf), and more. During the verification process there is now displayed a timer. Simulator now displays a clickable list of enabled transitions in all active components.
... (Read more)
2011-10-14 - (1 min read)
We are announcing the release of the following TAPAAL updates:
TAPAAL 2.0.2 TAPAAL 2.0.2 is a maintenance release that fixes a number of bugs, one of them connected to slow verification in case of the presence of orphan transitions (no input and no output arcs) and it fixes some rare issues during the saving of a net. The release also improves the layout of the query dialog and several other dialogs and a new example of train level crossing has been added to File/Example net.
... (Read more)
2011-08-22 - (1 min read)
We are announcing the release of the following TAPAAL updates:
TAPAAL 2.0.1 TAPAAL 2.0.1 is a maintenance release with a number of bug fixes, one of them connected to a wrong boundedness checking result in some particular scenarios. This is a highly recommended update for all users of 2.0.0.
Note also that new TAPAAL exercises were added to the Documentation page.
TAPAAL