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 freely available on leanpub.
- TAPAAL User Manual (to be updated with the newest features of TAPAAL 2.0)
Frequently Asked Questions (FAQ)
You can find a list of FAQ on our launchpad page:
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