MSC I : Réseaux de Petri
Support de cours
TINA : TP1
TP0
Prise en Main de TINA
Chemins d'acces TINA :
Les outils TINA sont normalement installés et directement disponibles depuis vos sessions.
Pour le tester vous pouvez dans un terminal lancer la commande nd
(nd pour "net draw").
Au cas où cela ne fonctionnerait pas, vous pouvez
aussi exécutez dans un terminal la commande source ~vernadat/.tinarc
qui positionnera les chemins d'accès pour Tina ou, encore mieux,
ajouter le contenu de ~vernadat/.tinarc dans votre propre fichier
~/.bashrc
I Le fichier interblocage.ndr modèlise un protocole de partages de ressources
décrit ci-dessous.
Deux processus (banalisés) partagent deux ressources (A et B). L'un
des processus se procure d'abord A (OqpA), puis se procure B (OqpAB),
il travaille (WorkAB) puis il retourne (en même temps) au repos et
libère (FreeAB) les ressources A et B. L'autre processus procède dans
l'ordre inverse: obtention de B puis de A.
- Chargez le fichier interblocage.ndr (le suffixe ndr pour net draw correspond au format graphique)
- Exécutez dans le répertoire contenant le fichier la commande nd interblocage.ndr
- Lancez le simulateur pas à pas (onglet tools: stepper)
- Simulez le fonctionnement du système
- Trouvez la situation d'interblocage.
- Quittez le simulateur (onglet file: return to editor)
- Construire le graphe des marquages (onglet tools: state space analysis / marking graph - output verbose)
- Lisez le fichier Resultat annoté . Les annotations sont indiquées par ##
- Visualisation du graphe des marquages (onglet tools: state space analysis / marking graph - output automaton)
- Ouvril l'automate résultant sous TINA (clic droit - open file in nd)
- Faites apparaitre la barre d'outils de TINA (clic droit dans la fenetre)
- Dessinez le (onglet edit : option draw). Plusieurs heuristiques de
placement sont proposées (neato, draw, circo, ...) essayez les. Vous devez
d'abord repasser en forme textuelle (onglet edit : option textify).
II Chargez le fichier planteur.net
vu en cours.
- Exécutez la commande nd planteur.net. Le réseau apparait mais sous forme textuelle. (le suffixe net correspond au format textuel)
- Lancez le simulateur pas à pas (onglet tools: stepper)
- Simulez le fonctionnement du système
- Quittez le simulateur (onglet file: return to editor)
- Dessinez le réseau (onglet edit : option draw). Vous pouvez améliorer l'esthétique à votre guise.
- Lancez le simulateur pas à pas (onglet tools: stepper)
- Simulez le fonctionnement du système. Persuadez-vous qu'il est non borné.
- Quittez le simulateur (onglet file: return to editor)
- Construisez le graphe de couverture du réseau (onglet tools: reachabilty /coverabilty graph - output verbose).
- Regardez le fichier résultat. Les places non bornées sont celles qui apparaissent avec un poids = w.
- Dessinez le graphe de couverture (onglet tools: reachabilty /coverabilty graph - output automaton). ...
III Edition du réseau de Petri suivant
- Entrez le réseau en utilisant la forme textuelle
- Entrez le réseau directement en graphique. Voir sous FAQ les fonctionalités de Net Drawd (ND)