Should UPPAAL be installed prior to running TAPAAL?

Created by Kenneth Yrke Jørgensen
Keywords:
installation
Last updated by:
Kenneth Yrke Jørgensen

Since TAPAAL 2.0 we distribute our own verification engine with TAPAAL so the tool offers verification without the need
to install UPPAAL.
TAPAAL can using the UPPAAL engine for verification (it translates the TAPN model into networks of timed automata and exports them into UPPAAL XML format). For only modeling and simulation of TAPN models, installation of UPPAAL is not necessary.