Prior to Download

TAPAAL provides a standalone editor, simulator and verifier (called verifytapn) of timed-arc Petri nets.

UPPAAL Integration. Optionally, for running an automated translation to timed automata, the user should install UPPAAL. You will need to procure a vesion of UPPAAL from www.uppaal.org. Get the latest version from download section, and follow the instalation instructions. 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.

Download

Before running TAPAAL make sure that JRE 11.0 or higher is installed on your system. Additionally, 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 general bug tracker or on the bug tracker for the individual project.

Changelog

See the tapaal changelog.

Installation Guide

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

License

TAPAAL is licensed under tree licenses:

Other Downloads