We are happy to announce a new release of TAPAAL 4.0.3 that contains

• fix to the precision issues in the SMC engine
• enables an explicit simulation of CPN nets in the GUI
• fixes numerous small issues the GUI and the untimed and discrete time engines.
• All users are highly encouradged to update to this version.