TAPAAL v1.2
August 2009

===== 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 6.0 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. 

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

===== To run TAPAAL ===== 

1) Windows
To run TAPAAL run tapaal.bat.

To use the verification part of TAPAAL, you will need to have UPPAAL installed.
TAPAAL assumes the location of verifyta is in c:\%PROGRAMFILES%\Uppaal-dev\bin-Win32\verifyta.exe
(where %PROGRAMFILES% normally corresponds to Program Files)
If it is not, you will have to set the system variable verifyta to the path 
set verifyta=/path/to/uppaal/bin-Linux/verifyta
or edit the script tapaal.bat to point the the location of verifyta.

2) *nux
Run TAPAAL using 

sh tapaal

To use the verification part of TAPAAL, you have not added verifyta to PATH 
you will have to do this, or to export verifyta the the location of verifyta, 
using:

export verifyta=/path/to/uppaal-dev/bin-Linux/verifyta

3) Mac

To run TAPAAL on Mac use the script

tapaal-mac

The application will use "/Application/verifyta" as the location for verifyta.
So when you download UPPAAL for mac, you should not only drag the UPPAAL
application to your application folder, but also drag the verifyta file into 
the application folder.
It is enough to drag the verifyta file for TAPAAL to work.

If your verifyta is locaded in an non-standard location use:
export verifyta=/path/to/uppaal-dev/bin-Linux/verifyta
to point TAPAAL to the location of verifyta or edit the startup script.