Tapaal

par TAPAAL (Aalborg University)

Télécharger depuis le site Web du développeur

Type de licence: Gratuit

Nombre de téléchargements:12 (1 la semaine dernière)

Latest version:3.2

Signaler des informations incorrectes

Description

Capture d'écran

Tapaal 3.2.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. Tapaal appartient à la sous-catégorie Science de Éducation et Science. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. TAPAAL (Aalborg University) est le développeur de ce programme gratuit.

Du développeur:

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).

Au vu de votre téléchargement de Tapaal, nous vous recommandons des programmes similaires tels que Visual Studio Code ou Cell Illustrator.

Télécharger Tapaal depuis le site Web du développeur

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts