Download of Tapaal 3.2.0 for Mac was on the developer's website when we last checked. We cannot confirm if there is a free download of this app available.
Please check the Mac app with an antivirus before launch as it is downloaded from the developer's website, and we cannot ensure that it is safe. This free Mac app is an intellectual property of TAPAAL (Aalborg University). The application relates to Education Tools.
From the developer:
TAPAAL is a tool for modelling, simulation, and verification of Timed-Arc Petri nets. The TAPAAL tool offers a graphical editor for drawing TAPN models, a simulator for experimenting with the designed nets, and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting).
You may want to check out more software for Mac, such as Genealogy Pro, Curvus Pro X or TreeView X, which might be related to Tapaal.