Prise en mains | Exemples | Exos Struct | Exos LTL | Exos CTL | TP Atemporel | TP Temporel | |||||||||||
Tina offre les fonctionnalites mettant en oeuvre l' analyse structurelle
(onglet tools - structural analysis). Plusieurs options sont possibles,
vous utiliserez l'option par défaut calcul des semi-flots
de place et de transition permettant d'obtenir les invariants de place et
de transition.
Base de Données .