Ecole Mohammadia d’Ingénieurs

3ème année

TD 1 SED
Machines à Etats Finis

Exercice 1
On considère dans un premier temps un protocole de communication simple, utilisé par un
seul émetteur, et qui peut être décrit comme suit. Lorsqu’un message à émettre arrive et que
l’émetteur (machine ou opérateur humain) est libre, ce message est accepté et subit le traitement
prévu dans ce cas ; sinon (si l’émetteur n’est pas libre), le message est ignoré.
Pour un message accepté par l’émetteur, le traitement consiste en deux actions :
(a) l’émetteur garde une copie du message et envoie l’original à travers le canal de
transmission.
(b) L’émetteur génère un time-out, c’est-à-dire qu’il déclenche un compte à rebours qui
expirera au bout d’un certain temps.
Si l’émission du message est réussie, un accusé de réception est reçu et la copie peut être supprimée.
Si le time-out expire, alors l’émetteur considère que le message a été perdu et il le retransmet.

Ce système est régi par les événements suivants :

a1 : un message arrive
t1 : émission d’un message
le time-out est expiré
r1 : un accusé de réception est reçu
L’ensemble des événements est : E1={a1,t1,,r1}

Les différents états du système sont :

I1 : émetteur libre
M1 : présence d’un message à émettre
T1 : l’émission d’un message est en cours
L’ensemble des états est : X1={I1,M1,T1}
Soit la sortie s1 telle que s1 vaut 1 lorsque l’émission d’un message est réussie, et 0 sinon.
La machine de Mealy modélisant ce système est représentée par le graphe d’états suivant :

r1/1

t1/0
I1 a1/0 M1 T1

1/0
a1/0
a1/0

On suppose à présent qu’il y a un deuxième émetteur, identique à celui modélisé sur la figure. Pour ce
deuxième émetteur, l’ensemble des événements est E2= {a2,t2,,r2} et l’ensemble des états est

1
X2={I2,M2,T2}. La sortie associée est s2 : s2 vaut 1 lorsque l’émission d’un message par le deuxième
émetteur est réussie, et 0 sinon. Les deux émetteurs utilisent le même canal de transmission,
qui ne peut supporter qu’un seul message à la fois. On suppose que chacun des deux
émetteurs peut connaître l’état du canal. L’émission d’un message par un émetteur ne pourra donc
commencer que si le canal est libre.

Pour ce système, l’ensemble des événements est E={a1,a2,t1,t2,1,2,r1,r2} et l’ensemble des états
est X={(I1,I2),(I1,M2),(M1,I2),(M1,M2),(I1,T2),(T1,I2),(M1,T2),(T1,M2)}. Les deux sorties associées
à ce système sont s1 et s2.

Question :
Déterminer la machine de Mealy modélisant le système constitué par les deux émetteurs, en donnant
son graphe d’états.

Exercice 2

Un système de production fonctionne à l’aide de 2 machines travaillant en parallèle, M1 et M2.

La capacité totale d’attente (serveur inclus) de M1 est K1=1, et celle de M2 est K2=2. Le système
reçoit 2 types de pièces : p1 et p2. Les pièces de type p1 sont usinées sur la machine M1, et celles de
type p2 le sont sur la machine M2. Quand une pièce finit son traitement, elle quitte le système. Si une
pièce (de type p1 ou p2) arrive et trouve une file d’attente pleine, elle est rejetée. Les longueurs
respectives des files d’attente sont notées x1 et x2.

Ce système est régi par les événements suivants :

a1 : arrivée d’une pièce p1.
a2 : arrivée d’une pièce p2.
d1 : départ d’une pièce p1.
d2 : départ d’une pièce p2.
L’ensemble des événements est : E={a1,a2, d1,d2}

Les différents états du système sont représentés par: (x1, x2)

Questions :
1- Définir l’ensemble S des états possibles pour ce système. Définir un automate (1 ère
définition) pour ce système et construire le graphe d’états correspondant.
2- Lorsque les 2 machines sont occupées, une sortie s est activée (s=1), sinon s=0. Donner
la machine de MEALY correspondant à ce système.

Exercice 3
On considère la cellule de production représentée sur la figure 2. Elle est constituée de 2
machines M1 et M2 et d’un stock intermédiaire B (voir figure).

Machine Stock Machine

M1 B M2

On suppose qu’il y a toujours des pièces brutes disponibles à l’entrée de M 1. Lorsqu’une pièce est
traitée sur M1, elle est ensuite placée dans B, qui a une capacité d’une unité seulement. La pièce est
ensuite traitée sur M2 avant de quitter le système.

2
Le système est régi par l’occurrence des événements suivants :
- dt1 : début du traitement sur M1
- dt2 : début du traitement sur M2
- ft1 : fin du traitement sur M1
- ft2 : fin du traitement sur M2
- p1 : panne de M1 (ne peut survenir que lorsque M1 est occupée)
- p2 : panne de M2 (ne peut survenir que lorsque M2 est occupée)
- r1 : réparation de M1 (après réparation, M1 est libre)
- r2 : réparation de M2 (après réparation, M2 est libre)
A l’état initial, les machines sont libres et le stock B est vide. De plus, le système doit vérifier les règles
suivantes :
- le traitement sur M1 ne peut commencer que si B est vide.
- le traitement sur M2 ne peut commencer que si B est plein.
- le traitement sur M1 ne peut pas commencer si M2 est en panne.
- si M1 et M2 sont en panne, on commence par réparer M2.
Si l’une au moins des 2 machines est en panne, une sortie s est activée (s=1), sinon cette sortie reste
à 0.

Questions :
1- Déterminer l’ensemble des états possibles (x 1,x2,x3) de ce système (12 états), x1 indiquant si
la machine M1 est libre (l), occupée(o) ou en panne (p), x2 indiquant si B est vide (v) ou plein
(pl) et x3 indiquant si la machine M2 est libre (l), occupée(o) ou en panne (p).
2- Proposer une machine de MOORE modélisant ce système, sous forme d’un tableau des états
suivants.
3- On suppose que dt1, dt2, r1 et r2 sont des événements contrôlables par un opérateur.
Identifier tous les états à partir desquels :
- l’opérateur ne doit activer un début de traitement que sur la machine M 1.
- l’opérateur ne doit effectuer une réparation que sur M2.
- l’opérateur ne doit activer un début de traitement sur aucune des 2 machines
- l’opérateur ne doit pas effectuer de réparation sur M1.

Exercice 4
Une machine est précédée d’un stock d’entrée de capacité 1 (donc la capacité totale du
système est de 2 pièces).
Deux pièces de type différent sont traitées sur cette machine, et les pièces de type 1 sont
prioritaires par rapport aux pièces de type 2. Par conséquent, lorsqu’une pièce de type 1 arrive et
trouve une pièce de type 2 en cours de traitement sur la machine, il y a préemption : la pièce de type
2 retourne dans le stock d’entrée et la pièce 1 passe sur la machine.
Si une pièce quelconque (de type 1 ou 2) arrive et trouve le système plein, elle est rejetée et
perdue.

Le système est régi par l’occurrence des événements suivants :

- a1 : arrivée d’une pièce de type 1
- a2 : arrivée d’une pièce de type 2
- d1 : départ d’une pièce de type 1
- d2 : départ d’une pièce de type 2
A l’état initial, la machine est libre et le stock d’entrée est vide.
S’il y a exactement 2 pièces dans le système, une sortie s est activée (s=1), sinon cette sortie reste à
0.

Questions :
1- Déterminer l’ensemble des états possibles (x1,x2) de ce système (6 états), x1 indiquant si le
stock d’entrée est vide (v), s’il contient une pièce de type 1 (p 1) ou une pièce de type 2 (p2) et
x2 indiquant si la machine est libre (l), occupée par une pièce de type 1 (o1) ou occupée par
une pièce de type 2 (o2).
2- Proposer une machine de MOORE modélisant ce système, sous forme d’un tableau des états
suivants.

3
Exercice 5

Un système de production est constitué de 3 machines, comme indiqué sur la figure.

ST2
M2
ST1
M1

ST3
M3

Les pièces brutes arrivent dans le stock ST1, pour passer ensuite sur la machine M1. Lorsque le
traitement sur M1 est terminé, la pièce est ensuite dirigée soit vers le stock ST 2, soit vers le stock ST3.
La règle de routage des pièces est la suivante : une pièce sortant de M1 est toujours dirigée vers
l’ensemble (stock + machine) le moins chargé, et en cas d’égalité, vers l’ensemble (ST 2 + M2). Les
pièces ayant terminé leur traitement sur M2 ou M3, quittent le système.
Une pièce brute à l’entrée du système n’est acceptée que si le nombre total de pièces dans le système
de production est inférieur ou égal à 3 ; si ce n’est pas le cas, la pièce brute est rejetée.

Le système est régi par l’occurrence des événements suivants :

- a1 : arrivée d’une pièce brute à l’entrée du système
- ft1 : fin de traitement d’une pièce sur la machine 1
- ft2 : fin de traitement d’une pièce sur la machine 2
- ft3 : fin de traitement d’une pièce sur la machine 3

A l’état initial, les machines sont libres et les stocks sont vides.
S’il y a exactement 3 pièces dans le système, une sortie s est activée (s=1), sinon cette sortie reste à
0.

Questions :
1- Déterminer l’ensemble des états possibles (x 1,x2,x3) de ce système (15 états), x1 représentant
le nombre de pièces dans l’ensemble (ST1 + M1), ), x2 le nombre de pièces dans l’ensemble
(ST2 + M2), et x3 le nombre de pièces dans l’ensemble (ST3 + M3).

2- Proposer une machine de MEALY modélisant ce système, sous forme d’un tableau des états
suivants.

Exercice 6

La fabrication de pièces nécessite l’usinage par trois machines successives M 1, M2 et M3.

Chacune de ces trois machines ne peut traiter qu’une seule pièce à la fois. Il n’y a pas de stock dans

4
le système. Lorsqu’une pièce brute arrive dans le système, l’usinage sur M1 commence à condition que
M1 soit libre, sinon la pièce brute est rejetée. Quand l’usinage sur M 1 est terminé la pièce est
transférée sur M2 si M2 est libre. Si M2 est en cours d’usinage d’une pièce, la machine M1 reste bloquée
jusqu’à ce que la place se libère sur M2. Quand l’usinage sur M2 est terminé la pièce est transférée sur
M3 si M3 est libre. Si M3 est en cours d’usinage d’une pièce, la machine M 2 reste bloquée jusqu’à ce
que la place se libère sur M3. Quand une pièce a terminé son usinage sur M 3 elle quitte le système.

Ce système est régi par les événements suivants :

a : arrivée d’une pièce brute.
ft1 : fin de traitement sur M1.
ft2 : fin de traitement sur M2.
ft3 : fin de traitement sur M3.

L’ensemble des événements est : E={a, ft1,ft2,ft3}

Les différents états du système sont représentés par: (x1, x2, x3) où x1 représente l’état de la machine
M1, x2 l’état de la machine M2, et x3 l’état de la machine M3.

Questions :

1- Déterminer les 3 états possibles de la machine M1, les 3 états possibles de la machine M2
et les 2 états possibles de la machine M 3. En déduire l’ensemble S des états
possibles pour ce système.
2- Définir un automate (1ère définition) pour ce système et construire le graphe d’états ainsi
que le tableau des états suivants correspondant.
3- Lorsque la machine M1 et/ou M2 est bloquée, une sortie s est activée (s=1), sinon s=0.
Donner la machine de MOORE asynchrone correspondant à ce système en complétant
votre réponse à la question précédente en utilisant une couleur différente.