Exam
Exam
Exam
Exercice 1 : (2 pts)
Simplification algébrique
F1 = A.B + B + B.C + B. A.C.D
Exercice 2 (9 pts):
1.5 pts • Construire le graphe des marquages correspondant au réseau de Petri suivant (à
partir du marquage initial donné par la figure)
1.5 pts • Donner la matrice d’incidence du RdP,
1.5 pts • Quel est le marquage du réseau après la séquence : {T1, T2, T3, T4, T3, T4, T1}
(à partir du marquage initial donné par la figure),
1.5 pts • la séquence {T1,T2,T4} à partir du marquage initial donné par la figure est elle
possible?
1.5 pts • quel est le marquage initial qui doit donner un marquage final de [4,3,2,1,1]
après avoir franchi la séquence {T1,T1,T4,T3}?
1.5 pts • quel est le marquage initial que permet de franchir la séquence {T3,T2,T1}?
Exercice 3 (9 pts) :
Quatre chariots doivent se charger en zone de chargement. Pour se décharger, ils doivent se
partager une zone de déchargement suivant le protocole suivant :
• Les chariots A1 et A2 sont prioritaires par rapport aux chariots B1 et B2.
• Les chariots A1 et A2 accèdent à la zone commune à tour de rôle à condition que
celle-ci soit libre. Par exemple, au cycle 1, c’est au chariot 1 d’accéder à la zone de
déchargement. Au cycle 2 ça sera au chariot 2 d’y accéder, le chariot 1 au cycle 3,
ainsi de suite….
• Les chariots B1 et B2 accèdent à la zone commune à tour de rôle à condition que
celle-ci soit libre et que les chariots A1 et A2 ne soient pas en zone d’attente.
Une balise doit s’allumer en Rouge pour indiquer que la zone commune est occupée, en Vert
si non.
Un pupitre de commande se compose des boutons suivants :
Marche, Arrêt pour le lancement et l’arrêt du cycle,
Un commutateur Auto, Manu pour les modes automatique et manuel,
Et quatre boutons (de B1 à B2) pour les tests manuels.
Actions Capteurs
Avance_A1 C_A1_charge
Avance_A2 Commande pour C_A2_charge Capteurs des zones
Avance_B1 avancer les chariots C_B1_charge de chargement
Avance_B2 C_B2_charge
Recul_A1 C_A1_attente
Recul_A2 Commande pour C_A2_attente Capteurs des zones
Recul_B1 reculer les chariots C_B1_attente d’attente
Recul_B2 C_B2_attente
Chargement_A1 C_vide_A1
Capteurs indiquant
Chargement_A2 Commande pour C_vide_A2
que les chariots
Chargement_B1 charger les chariots C_vide_B1
sont vides
Chargement_B2 C_vide_B2
Déchargement_A1 C_rempli_A1
Commande pour Capteurs indiquant
Déchargement_A2 C_rempli_A2
décharger les que les chariots
Déchargement_B1 C_rempli_B1
chariots sont remplis
Déchargement_B2 C_rempli_B2
Balise Verte C_Déchargement Capteurs de la zone
Commande pour
de chargement
allumer les balises
Balise Rouge
A faire :
Un GEMMA qui doit superviser le fonctionnement cyclique. Il doit gérer :
• L’initialisation des 4 chariots en zone de chargement,
• Un mode automatique qui se compose de 4 Grafcet de commande (1 Grafcet / chariot),
1 Grafcet qui gère la disponibilité de la ressource commune et 2 Grafcet qui gèrent le
séquencement des paires de chariots (1 Grafcet / Paire).
• Un mode manuel qui permet de tester le fonctionnement de chaque chariot grâce aux
boutons (B1 à B2, un bouton par chariot). En appuyant sur le bouton correspondant, le
chariot fait un aller retour automatique entre la zone de chargement et la zone
d’attente.
Chariot B2
C_B2_charge
Auto Manu
Marche Arrêt
Balise Verte
B1 B2 B3 B4 Balise Rouge
C_B2_Attente
Chariot A2 Chariot A1
Zone de
C_Déchargement déchargement
C_B1_Attente
C_B1_charge
Chariot B1