TAPAALWe 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.