Tapaal 3.2.0 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.
Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность. ПО относится к категории Образование. Разработчик этой бесплатной программы для Mac — TAPAAL (Aalborg University).
От разработчика:
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).
Мы предлагаем оценить другие macOS программы, такие как RC-AirSim - RC Model Airplane Flight Simulator или Net Tools for Development, которые часто используются вместе с Tapaal.