Tapaal

by TAPAAL (Aalborg University)

Download now from developer's website

License: Freeware

Total downloads:3

Latest version:3.2

Report incorrect info

Description

Screenshot

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 Analytics to Earth, which might be related to Tapaal.

Download Tapaal from developer's website

useful

How to protect your Mac from malware

useful

How to share files

useful

How to type with 10 fingers