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

For new users starting with TAPAAL, we recommend to run TAPAAL and open the following net intro-example.xml (the net can be open from files - Examples Nets - intro-example) which will explain the main modeling features and verification possibilites. After that you are welcome to solve the following TAPAAL exercises.

A user manual for TAPAAL is available on our wiki page.

• TAPAAL User Manual (to be updated with the newest features of TAPAAL 2.0)

You can find a list of FAQ on our launchpad page:

• TAPAAL FAQ

If you have any other problems, please ask on launchpad answers where both users and the development team will answer questions. You are also welcome to contact the development team directly on email: tapaal(at)cs.aau.dk

All relevant development documentation can be found at wiki.tapaal.net