Faculté des sciences économiques et de gestion de Sfax

TD 2 RDP colorés-Méthodes Formelles

Enseignante : Saoussen Cheikhrouhou

Exercice 1
Pour le RDP coloré suivant, déterminez une séquence de franchissement qui
ramène au marquage initial.
f (<ci>)=<ci+1 > (modulo 4)

Exercice 2
Transformez le RDP coloré suivant en un RDP généralisé sachant que :

f (<a>) = <b>
f (<b>) = <a>

Qu’appelle-ton cette opération ?

1
Exercice 3
On considère un système de production composé de trois machines (de capacité unitaire
chacune).

La machine MA1 reçoit des pieces de type p1. Elle traite chaque pièce puis la dépose dans le
stock ST1 si ce stock n’est pas plein. Elle peut ensuite recevoir une autre pièce.

La machine MA2 fonctionne de façon identique à MA1. Mais, elle reçoit et traite des pieces
de type p2, et elle les dépose dans le stock ST2 si ce stock n’est pas plein.

La machine MA3 fait l’assemblage : elle prend une pièce du stock ST1 et une pièce du stock
ST2, qu’elle assemble avant de déposer le produit assemblé dans un autre stock qui n’est pas
représenté et qui est supposé ne jamais être plein. Les stocks ST1 et ST2 ont des capacités de
3 et 4 unités respectivement. Représentez le fonctionnement de ce système par un réseau de
Petri coloré. Il faut definer avec soin les ensembles de couleurs associées aux transitions et les
fonctions associées aux arcs.