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

• numerous bug fixes,
• improved export to tikz,
• rearranged example nets with a few new nets, and
• new versions of all three verification engines.