TAPAAL Team Announce the Release of TAPAAL 3.1.3 that includes

• bug fixes in the workflow analysis and query creating dialog,
• allows to execute 0 time unit delays in the simulator, and
• improves compatibility with the most recent UPPAAL verification engine.