Wrote an importer for #TAPAAL models this evening. It only supports regular P/N models for now and you cant export/convert it back again, but it works! #programming #AalborgUniversity