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.