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.