Introduction aux Réseaux de Petri (4IS)
Support de cours
TINA : TP1
TP0
Prise en Main de TINA
Chemins d'acces TINA : Exécutez dans un terminal la commande source ~vernadat/.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: reachabilty / marking graph - output verbose)
- Lisez le fichier Resultat annoté . Les annotations sont indiquées par ##
- Visualisation du graphe des marquages (onglet tools: reachabilty / 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)