3- Les Réseaux de Petri

Plan |Accueil |Contact |

Le logiciel utilisé lors de ce TP est "VisObjNet". C'est un logiciel de modélisation et de représentation des Réseaux de Petri. Pour le télécharger cliquer sur son icône:


La version de ce logiciel est zippée; Si vous n'avez pas le "Winzip" téléchargez le:



Commencer par découvrir le logiciel. Puis essayer ces TP proposés:

3-6-1  Production - Stockage -Consommation

3-6-2  Tâches d'un système temps réel

3-6-3  Voiture de Karting

3-6-4  Ligne Production-Consommation

3-6-5  Chariot avec pince

---

3-6-1  Production - Stockage -Consommation

1- La fabrication d'un produit nécessite 3 matières premières M1, M2 et M3 de quantités différentes :

· Une unité de M1
· 3 unités de M2
· 5 unités de M3

On considère que les stocks d'approvisionnement sont toujours disponibles et que la production est unitaire.

a- Modéliser le système par un Rdp.
b- Déterminer les principales propriétés du Rdp obtenu.
c- Valider les résultats obtenus avec le logiciel "VisObjNet ".

2- On considère maintenant qu'une fois le produit est fini, il est mis dans un stock dont la capacité est limitée à 3 unités.

a- Modéliser le système par un Rdp.
b- Déterminer les principales propriétés du Rdp obtenu.
c- Valider les résultats obtenus avec le logiciel "VisObjNet

3- Une fois les produits sont dans le stock, deux types de consommateurs peuvent les utiliser. Un premier consommateur dont la demande est unitaire, un second dont la demande est de 2 unités.

a- Modéliser le système global par un Rdp.
b- Déterminer les principales propriétés du Rdp obtenu.
c- Valider les résultats obtenus avec le logiciel "VisObjNet ".

3-6-2  Tâches d'un système temps réel

Dans un système temps réel, une tâche peut avoir 3 états :

· En exécution
· En attente
· Bloquée

Soit 4 tâches S1, S2, S3 et S4 d'un système temps réel :

· au début les 4 tâches sont en attentes.
· la tâche S1 commence par s'exécuter pendant 5 secondes puis se bloque.
· la tâche S2 s'exécute alors pendant 10 secondes puis S3 pendant 15 secondes.
· une fois les tâches S2 et S3 sont terminées P1 reprend son exécution.
· s4 est exécutable après la fin de S1.

Remarque :Chaque tâche terminée est mise en attente. Une seule tâche peut être exécutée à la fois.

1- Modéliser le système par un Rdp.
2- Donner son graphe de marquage.
3- En déduire ses propriétés.
4- Déterminer les matrices d'incidences (W^- ; W⁺ ; W).
5- Donner l'équation d'état correspondante à une séquence choisie.
6- Valider les résultats obtenus avec "Visobjnet".

3-6-3  Voiture de Karting

Soit une voiture dans un Karting qui roule en avant en suivant un circuit.

· Si la voiture heurte les roues de sa droite, elle se dirige vers sa gauche puis continue à rouler en avant (les roues restent toujours à sa droite).
· Si la voiture heurte les roues de sa gauche, elle se dirige vers sa droite puis continue à rouler en avant. (les roues restent toujours à sa gauche).
· Si la voiture heurte une autre voiture devant elle, elle fait marche arrière, s'arrête puis continue à rouler en avant.
· Si elle est heurtée par une autre voiture, elle continue à rouler en avant.

On considère que chaque client a droit à 5 tours du circuit. Une fois les 5 tours terminés il doit s'arrêter immédiatement. On suppose que la voiture ne tombe jamais en panne et qu'elle est incassable.

1- Modéliser le système par un Rdp.
2- Donner le graphe de marquage correspondant.
3- En déduire les propriétés du Rdp .
4- Déterminer les matrices d'incidences (W^- ; W⁺ ; W) correspondantes.
5- Donner une équation d'état pour une séquence choisie.
6- Valider les résultats obtenus avec "Visobjnet".

3-6-4  Ligne Production-Consommation

On considère la ligne de production - consommation suivante :

· Quand la production d'une pièce est finie, elle est envoyée dans le site de contrôle dont la capacité est de 3 unités (maximum).
· Les pièces vérifiées seront déposées dans un stock dont la capacité est limitée à 5 unités.
· Dés que l'envoie vers le site de contrôle est effectué, le producteur commence une autre pièce.
· Un consommateur prélève une pièce du stock dés qu'il a fini de consommer.

On considère que la production, la vérification et la consommation sont unitaires.

1- Modéliser le système par un Rdp.
2- Donner le graphe de marquages.
3- En déduire les propriétés du Rdp.
4- Déterminer les matrices d'incidences (W^- ; W⁺ ; W) correspondantes.
5- Donner l'équation d'état pour une séquence choisie.
6- Valider les résultats avec "Visobjnet".

3-6-5  Chariot avec pince

Un dispositif de transfert se compose d'un chariot muni d'une pince pouvant déplacer un produit présent en "pa" jusqu'à "pb". A l'état initial, le chariot est en "a", pince baissée et ouverte, tous les moteurs sont à l'arrêt. Le produit à déplacer est en "pa" et il n'y a rien en "pb".
L'action sur le bouton poussoir "m" provoque le cycle suivant:

.  fermeture de la pince.
.  départ du chariot vers "b", tandis que la pince monte.
.  une fois en "b", la pince descend, s'ouvre et dépose le produit en "pb".
.  une lampe L doit s'allumer pendant la descente et le dépot du produit.
.  retour du chariot en "a" tandis que la pince remonte.
.  descente de la pince.

a- Etablir un tableau regroupant les actions et les actionneurs, les éléments contrôlés et les capteurs.
b- Dresser le Rdp correspondant.
c- Dresser le graphe de transitions.
d- Vérifier la conformité du Rdp.