• Introduction
• Features
• Screenshots
• Download
• Documentation
• About

TAPAAL provides a standalone editor, simulator and verifier (called verifytapn) of timed-arc Petri nets. Optionally, for running an automated translation to timed automata, the user should install the latest development version of UPPAAL. Download UPPAAL from www.uppaal.org in the download section, and follow the instalation instructions from www.uppaal.org. You will need to locate the file verifyta that comes with the UPPAAL distribution and place it to the correct location as described README.txt files distributed with the package.

Before running TAPAAL make sure that  JRE 6.0 is installed on your system.

Standard Binaries for Windows/Linux/Mac OS X (recommended):

• TAPAAL 2.0.2 for Windows Download
• TAPAAL 2.0.2 for Linux Download
• TAPAAL 2.0.2 for Mac Download

64 bit Binaries for Linux/Mac OS X (can use more than 4GB memory and on the newest processors can be faster):

• TAPAAL 2.0.2 for Linux 64 bit Download
• TAPAAL 2.0.2 for Mac 64 bit Download

Older Releases:

• Linux/Windows/Mac TAPAAL 1.4.3 Download
• Linux/Windows/Mac TAPAAL 1.3 Download

Mac OS X Application (make sure that verifyta is in the applications folder /Applications):

• Mac OS X Application TAPAAL 1.4.3 Download
• Mac OS X Application TAPAAL 1.3 Download

Source download:

• Download From Launchpad Source

Please report any bugs that you might discover to our bug tracker.

See the tapaal changelog

To install TAPAAL unpack the files for your platform and follow instructions in README.txt.

Optional: If your UPPAAL installation is located in a nonstandard location you will have to point TAPAAL to the location of the file verifyta which is contained in the UPPAAL distribution. Remember that one has to install the newest development version of UPPAAL in order to run the tool.

On Linux/Unix systems use: export verifyta=/path/to/uppaal/bin-Linux/verifyta, or
add verifyta to your PATH.

On Windows use: set verifyta=c:\\path\to\uppaal\bin-Win32\verifyta.exe
or modify the file tapaal.bat to point to the location of the file verifyta.

On Mac OS X: when you unpack UPPAAL, drag verifyta into the application folder; then the Mac OS X TAPAAL application should run without any need to configure the path to verifyta.

TAPAAL is licensed under tree licenses: 

• The GUI tool is licensed under the Open Source Licence 3.0
• The reduction lib, used for automatic translation of TAPN models into UPPAAL Timed Automata is licensed under the BSD License.
• The verification engine verifytapn is licensed under GLP v2 license: http://www.gnu.org/licenses/gpl-2.0.txt
  
  

• Lynch-Shavit Protocol and MPEG-2 Encoding Algorithm (TAPAAL and UPPAAL models)
• UPPAAL version of Alternating Bit Protocold with query (not to be opened in TAPAAL)