User Documentation

For new users starting with TAPAAL, we recommend to run TAPAAL and open the following net intro-example.tapn (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.

User Manual

We currently do not have an up-to-date user manual and are in the progress of creating a new documentation website. If you have the time and/or energy, we are happy to accept contributions to your new online documentation site.

Until the new site is ready you might also find these resources helpful:

Ask Questions

You can find a list of as on our github discussions page:

If you have any problems, please look and/or ask on TAPAAL Discussions 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. Notice that we might not be able to answer every request but do read all e-mails.

Developer Documentation

All relevant development documentation can be found at our github wiki