{"version":"1.0","type":"link","title":"TAPAAL Model Checker - Newikis","description":"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 is available for Linux, Windows and Mac OS X platforms.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/commons/f/fc/TAPAAL_2.2.1_screenshot.jpg","thumbnail_width":800,"thumbnail_height":626}