TAPAAL

TAPAAL est un logiciel pédagogique pour la modélisation, la simulation et la vérification des moustiquaires Timed-Arc Petri. Il est destiné aux utilisateurs qui doivent représenter les systèmes avec un comportement lié au moment dans un modèle formel. Le logiciel a été développé au Département d'informatique de l'Université d'Aalborg au Danemark.

Ses fonctions de modélisation fournissent un moyen de décrire les filets Timed-Arc Petri sous une forme structurée. La simulation permet d'examiner comment un modèle se comporte au fil du temps. La vérification sert à évaluer les propriétés formelles du modèle. Ensemble, ces capacités rendent le TAPAAL pertinent pour l'éducation, avec une modélisation et une analyse formelles.

TAPAAL est listé pour Linux et est disponible sous licence gratuite. Les utilisateurs de Linux peuvent donc l'utiliser sans licence payée pour le logiciel. Le placement de catégorie est Éducation parce que le programme se concentre sur l'apprentissage et le travail avec une méthode de modélisation informatique formelle.

MirrorNest n'accueille pas de copie miroir de TAPAAL. Au lieu de cela, il est directement lié à la libération officielle. Cet arrangement donne aux utilisateurs de Linux une entrée de catalogue qui pointe vers la distribution originale tout en maintenant la plate-forme softwares et les informations de licence claires.