English TAPAAL Model Checker Cited by user 130.225.198.136 on 17 Jan 2013 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…