Tina version 3.4.4

Tina

édition et analyse de réseaux de Petri et de réseaux temporels

Mots-clés auteur : modélisation, contraintes temporelles, logique temporelle, model-checking, temps réel, verification

Version 3.4.4

du 01-Jan-2016
Site web : http://projects.laas.fr/tina/
Licence :

Licence propriétaire – Binaire freeware


Service(s) FG-SOL disponible(s) : Accès

Description du logiciel :

Tina est une boîte à outils pour l’édition et l’analyse des réseaux de Petri et des réseaux temporels, développée dans le groupe OLC du LAAS/CNRS.

Tina a été et est utilisé dans le cadre de nombreux projets de recherche ANR, FUI-DGE, ITEA, …..
Il constitue ainsi l’un des moteurs de vérification pour la filière asynchrone de l’atelier Topcased (www.topcased.org). Il est également utilisé pour des enseignements notamment à l’ Insa de Toulouse.

Responsable du logiciel :

Bernard Berthomieu

Laboratoire(s) :

  • LAAS, Laboratoire d'Analyse et d'Architecture des Systèmes

  • Publication scientifique liée à Tina :

    B. Berthomieu, F. Vernadat, Time Petri Nets Analysis with TINA, tool paper, In Proceedings of 3rd Int. Conf. on The Quantitative Evaluation of Systems (QEST 2006), IEEE Computer Society, 2006.
    Lien vers la publication