Académique Documents
Professionnel Documents
Culture Documents
TD N°:1 /2
Exercice 1
Exercice 2
Considérer le marquage initial M0 (1, 0, 1, 0) et la séquence < T1, T2, T2, T3>, déterminer le
marquage obtenu après le tirage de la séquence.
Modélisation RdP
Exercice 1
Modélisation d’un atelier de coupe de bois : Un atelier est constitué d’une machine de
coupe et d’un stock. Quand une commande arrive et que la machine de coupe est disponible,
la commande peut être traitée (Opération de découpe). Une fois le traitement terminé, la
commande qui a été traitée est stockée. Sinon, la commande doit attendre que la machine se
libère avant de pouvoir être traitée.
Exercice 2
On considère un système constitué d’une file d’attente et d’un serveur (Figure 1). Le
serveur a deux états : il peut être disponible, il peut être en cours de service. Une fois le
traitement est terminé, le serveur devient disponible.
Figure 1
1- Donner un modèle avec RdP qui permettra de représenter le fonctionnement de ce
système.
Lorsque le serveur est « en cours de service », il peut tomber en panne. Cet événement
provoque le retour du client, qui était en cours de service, dans la file d’attente. Une fois le
serveur réparé, il redevient disponible.
Exercice 3