Prior to Download

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 in the download section, and follow the instalation instructions from You will need to locate the file verifyta that comes with the UPPAAL distribution and point TAPAAL to its location in the engine selection dialog from the Tools menu.


Before running TAPAAL make sure that JRE 6.0 or higher is installed on your system. Additionally, for Mac users we support only Mac OS X 10.9 and higher; on Mac OS X remember to allow applications downloaded from anywhere (in System Preferences and Security & Privacy tab or right-click on the application and choose “open”).

Binarier for Windows/Linux/Mac OS X:

Older Releases

Source download:

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


See the tapaal changelog.

Installation Guide

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


TAPAAL is licensed under tree licenses:

Other Downloads