Tina

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 24/06/10
  • Correction mineure : 24/06/10

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

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système :
  • Version actuelle : Version 2.9.8 - November 24, 2009
  • Licence(s) : Licence propriétaire - Binaire freeware
  • Etat : validé (au sens PLUME), diffusé, stable
  • Support : maintenu, développement en cours
  • Concepteur(s) : Bernard Berthomieu , François Vernadat
  • Contact concepteur(s) : Bernard.Berthomieu [at]laas[dot]fr
  • Laboratoire(s), service(s)... :

 

Une fiche logiciel décrit plus en détail ce développement, consultez la pour plus d’informations : Tina
Fonctionnalités générales 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.
Une fiche plus détaillé est disponible ici: http://www.projet-plume.org/fiche/tina

Contexte d’utilisation du logiciel

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.projet-plume.org/fiche/topcased et www.topcased.org)
Il est également utilisé pour des enseignements notamment à l' Insa de Toulouse.

Publications liées au logiciel

Quelques publications sont citées ci-dessous :

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.

B. Berthomieu, F. Peres, F. Vernadat, Bridging the gap between Timed Automata and Bounded Time Petri Nets, In Proceedings of FORMATS 2006. Springer Verlag, LNCS 4202, 2006.

B. Berthomieu, F. Peres, F. Vernadat, Model-checking Bounded Prioriterized Time Petri Nets, In Proceedings of ATVA 2007. Springer Verlag, LNCS 4762, 2007.

Une bibliographie plus complète est disponible ici : http://homepages.laas.fr/bernard/tina/papers.php