English TAPAAL Model Checker Cited by user Headbomb on 04 Jan 2021 TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it…