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

Related papers

Last publication date

16 August 2021

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.