Beruflich Dokumente
Kultur Dokumente
Remarque : si une transition est valide, cela n'implique pas qu'elle sera immdiatement
franchie. Ces rgles introduisent en effet un certain indterminisme dans l'volution des
rseaux de Petri, puisque ceux-ci peuvent passer par diffrents tats dont l'apparition est
conditionne par le choix des transitions tires. Ce fonctionnement reprsente assez bien
les situations relles o il n'y a pas de priorit dans la succession des vnements.
Note : Il y a conflit si plus dune transition peuvent tre franchies pour une mme place
dorigine, on choisit lune des transitions, de manire non-dterministe.
4.2.4. Graphes de marquage
L'volution temporelle d'un RdP peut tre dcrite par un graphe de marquage reprsentant
l'ensemble des marquages accessibles et d'arcs correspondant aux franchissements des
transitions faisant passer d'un marquage l'autre pour un marquage initial M0.
Exemples :
1)
2)
3)
Lensemble des RdP simples inclut lensemble des RdP choix libre, qui
inclut lensemble des RdP sans conflit, qui inclut lui-mme lensemble des
graphes dvnements
Lensemble des graphes dtats est inclus dans lensemble des RdP choix
libre.
f. RdP pur
Cest un RdP dans lequel il nexiste pas de transition ayant une place dentre qui soit
galement place de sortie de cette transition.
(Traiter exemple en cours)
g. RdP sans boucle
Un RdP sans boucle est tel quil existe une transition Tj et une place Pi qui est la fois
place dentre et place de sortie de Tj, alors Tj au moins une autre place dentre.
(Traiter exemple en cours)
4.2.6.2. Abrviations et extensions :
Abrviations : Des reprsentations simplifies utiles pour allger le graphisme mais
auxquelles on peut toujours faire correspondre un RdP ordinaire (c.--d. un RdP
autonome marqu fonctionnant selon les rgles prdfinies).
Extensions : Des modles auxquels des rgles de fonctionnement ont t ajoutes afin
denrichir le modle initial pour aborder un plus grand nombre dapplications.
Remarque : Toutes les proprits des RdP ordinaires se conservent pour les abrviations
moyennant quelques adaptations, tandis que ces proprits ne se conservent pas toutes
pour les extensions.
a. RdP gnralis
Un RdP dans lequel des poids (nombres entiers strictement positifs) sont associs aux
arcs.
Larc Pi Tj a un poids p
La transition Tj ne sera valide que si Pi contient au moins p jetons.
Pi
p
Tj
de la place Pi.
Lorsquun arc Tj Pi a un poids p cela signifie que lors du franchissement de Tj, p
jetons seront ajouts la place Pi.
Exemple :
V = E ( P, T ) t M 0
10
11
Illustration :
Jeton rserv
Jeton non rserv
T1
P1
T1
d1
T2
P2
T3
T1
P1
d1
T2
d2
P1
T1
d1
T2
P2
d2
T3
P2
P1
d1
T2
d2
T3
P2
d2
T3
d1
d2
Franchissement de T1
Franchissement de T2
b. RdP T-temporis :
- Une dure d'activation pour les transitions : Dure pendant laquelle un jeton situ dans
chaque place amont de la transition active est rserv pour cette transition (avant de
disparatre), et au del de laquelle un jeton apparat dans chacune des places aval ;
12
Illustration :
Jeton indisponible
Jeton disponible
T1
d1
P1
T2
d1
P1
d2
P2
T3
T1
T2
P1
d2
P2
d3
T3
d1
T1
P1
d2
T2
P2
d3
d1
T1
d2
T2
P2
d3
T3
d3
T3
d2
13
14
P1
P1
P1
T1
T4
T1
T4
T1
T4
P2
P3
P2
P3
P2
P3
T3
T2
T3
T2
b.
a.
T3
T2
c.
Exercice 2
Deux calculateurs utilisent une mmoire commune. On suppose que chaque calculateur peut avoir
trois tats :
- il na pas besoin de la mmoire
- il la demande mais ne lutilise pas encore
- il lutilise
Calculateur 1
Mmoire
commune
Calculateur 2
Exercice 3
On considre le protocole suivant de gestion des cabines et des paniers dune piscine.
lentre, un client qui a trouv une cabine libre y entre et se change en posant ses
vtements dans la cabine. Il demande ensuite un panier quil remplit pour librer la
cabine. Aprs la baignade le client rentre dans une cabine avec son panier, le vide et le
libre. Ensuite il se rhabille et libre la cabine.
Soient Nc le nombre de cabines et Np le nombre de panier.
1. Dcrire ce protocole par un RdP ou un Grafcet avec Nc=3 et Np=5.
2. Montrer quil y a un tat de blocage. Y-a-t-il blocage pour toute valeurs de Nc et
de Np?
3. Dfinir un protocole tel quil ny ait pas de blocage et donner le RdP ou le Grafcet
correspondant.
15
P1
P1
T1
T4
T1
T4
T1
T4
P2
P3
P2
P3
P2
P3
T3
T2
T3
T2
b.
a.
Born
Pas vivant
Sans blocage
T3
T2
c.
Born
Vivant
Sans blocage
Pas born
Vivant
Sans blocage
Solution Exercice 2
Deux calculateurs utilisent une mmoire commune. On suppose que chaque calculateur peut avoir
trois tats : il na pas besoin de la mmoire, il la demande mais ne lutilise pas encore, il lutilise
Calculateur 1
Mmoire
commune
Calculateur 2
16
Solution Exercice 3
1.
17
18
Solution Exercice 4
Le Rdp est le suivant :
19