Académique Documents
Professionnel Documents
Culture Documents
2- Faite une différence graphique entre un système continu et un système à évènement discrets
Exercice 1
1
2- Donner la matrice d’incidence de ce RdP
S=T1-T2-T3-T4
Exercice 2
Soit un système informatique dont l’architecture est constituée de quatre ordinateur reliés entre eux
par un réseau local de type token ring (cf. schéma ci-dessous). Un poste donné ne peut effectuer
des transferts réseau que s’il détient le jeton (token). Lorsque le poste de travail a terminé ces
transferts, le jeton est transféré à l’ordinateur suivant sur l’anneau.
Pour effectuer leurs traitements, les postes de travail accèdent à une base de données partagée, via
un réseau global. Cette base de données est également accessible depuis d’autres points du réseau
global. Chaque poste de travail doit donc la verrouiller lorsqu’il l’utilise, pour empêcher tout accès
concurrent.
Un ordinateur ne peut effectuer ses traitements que s’il dispose du jeton et que la base de données
partagée est libre
TAF
Modéliser ce système (quatre postes de travail + base de données partagée) à l’aide d’un Réseau
de Petri.
2
1- Définir : Superviseur
Exercice 1
Figure 1
1
2- Calculer ses p-invariants minimaux. Interpréter. 3-
Calculer ses t-invariants minimaux. Interpréter.
Figure 2
On impose alors la spécification suivante, se traduisant par une contrainte sur le marquage de
certaines places : m(p2) + m(p3) ≤1 (ou V.M ≤ B est la forme générale de la contrainte)
Avec : V de dimension (r x n ) et B de dimension (r x 1 ). L’introduction de variables
auxiliairesconduit à : V.M + K = B,
L’objectif est de déterminer le contrôleur K, sous la forme d’un réseau de Petri, tel que couplé
avecle modèle du processus, le système obtenu satisfasse alors la contrainte imposée.
1- Déterminer la matrice d’incidence Cp du processus, le marquage initial MPO du processus,
les matrices B et V
2
1- Définir : Système a évènements discrets
Un Système à Evénements Discrets est un système à espace d'état discret dont les transitions entre
états sont associées à l’occurrence d’événements discrets asynchrones.
2- Faite une différence graphique entre un système continu et un système a évènement discrets
1
- Les automates finis,
Un objectif typique de commande par supervision est de faire en sorte qu’une séquence non désirée
d’événements ne se produise pas.
Exercice 1
2
Exercice 2
3
1- Définir : Superviseur
Un objectif typique de commande par supervision est de faire en sorte qu’une séquence non désirée
d’événements ne se produise pas.
1
Exercice 1
Figure 1
Figure 2
On impose alors la spécification suivante, se traduisant par une contrainte sur le marquage de
certaines places : m(p2) + m(p3) ≤1 (ou V.M ≤ B est la forme générale de la contrainte)
Avec : V de dimension (r x n) et B de dimension (r x 1). L’introduction de variables auxiliaires
2
conduit à : V.M + K = B,
L’objectif est de déterminer le contrôleur K, sous la forme d’un réseau de Petri, tel que couplé
avecle modèle du processus, le système obtenu satisfasse alors la contrainte imposée.
1- Déterminer la matrice d’incidence Cp du processus, le marquage initial MPO du processus,
les matrices B et V