PV3 TAPAALperforms queries on Petri nets

Tool that supports modelling, simulation and verification (model checking) for extended timed-arc Petri nets

Application domain/field

Type of tool

Framework/model checking for timed-arc petri nets

Expected input

Format:

Internals

Uses verifydtapn

Comments

TAPAAL models can be automatically translated into UPPAAL models. So the user can choose to translate a TAPAAL model and use UPPAAL as a verification engine instead of TAPAAL.
Model checking Petri nets Simulation

Links

Last commit date

6 April 2021 (last release date)

Related papers

Last publication date

16 August 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.