We are happy to announce the release of TAPAAL 3.8.0 that contains

• improved performance of untimed verifypn engine,
• the GUI can now show reduced net in the editor, and
• numberous bug fixes and smaller GUI improvements.