TAPAAL v4.0.3
February 2026

===== Introduction ===== 

TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets, 
developed at Department of Computer Science at Aalborg University in Denmark.
To use TAPAAL the JRE 11.0 or higher has to be installed on your system. To use the integrated 
verification features of TAPAAL, you will need to have UPPAAL (www.uppaal.com) installed
on your system. You will need the latest development version of UPPAAL. 


See more on the project webpage: www.tapaal.net



===== To run TAPAAL on Windows ===== 

To run TAPAAL double click tapaal.exe .
