A new release of TAPAAL 1.2 is now available at the download page.

This release fixes a number of bugs discovered since the last release and it includes now several demo nets that are accessible directly from the file menu under example nets.