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.