Vous êtes sur la page 1sur 26

RdP : Color &

Temporel
BOUGRIA Mohamed Amine
ORICHA Anes
DM:SI - IMSI - ENPO - 2016

Plan

Introduction

RdP Color

Exemple (1)

Exemple (2)

RdP Temporel

P-temporiss

T-temporiss

Exemple

INTRODUCTION
Les rseaux de Petri sont parfois insuffisants pour modliser et valider
des systmes complexes ou spcifiques.
Beaucoup de travaux ont tendus les RdP pour leur adjoindre des
concepts intressants :

RdP Color
Ide : au lieu de diffrencier les places, on va diffrencier les jetons.
Association chaque jeton d'une couleur.
Association aux places d'ensembles de couleurs (couleurs possibles des jetons
de ces places)
Association aux transitions d'ensembles de couleurs de franchissement
Association aux arcs des fonctions permettant la description du franchissement
le comportement du RdP va dpendre de la couleur des jetons

RdP Color

RdP
RdP-C

RdP Color : Exemple (1)


Atelier de fabrication : 2 types de pices et 2 machines usiner ( RdP )

RdP Color : Exemple (1)


Couleurs: M1 et M2 pour les machines, et P1 et P2 pour les types de pices.
( RdPC )

(Pices) = {P1, P2}


(Machines) = {M1,M2}
(Usinage) =(Debut) =(Fin)
= {P1.M1, P1.M2, P2.M1, P2.M2}

RdP Color : Exemple (2)


Le dner des philosophes :
Table ronde.
Chaque philosophe est devant une assiette,
et il y a une fourchette entre chaque assiette.
Actions d'un philosophe : soit manger, soit penser.
Pour manger, un philosophe a besoin de ses 2 fourchettes

RdP Color : Exemple (2)


RdP
:

RdP Color : Exemple (2)


RdP-C : 4 fourchettes diffrentes : F12
est la fourchette entre les philosophes 1
et 2
4 philosophes diffrentes : Phi1 Phi4
(Philosophes) = {k} k{1,4}
(Fourchettes) = {Fij }i,j{1,4}
(Manger) = {1.F41 .F12 , 2.F12.F23 ,
3.F23.F34 , 4.F34.F41 }
10

RdP Temporel
Reprsentation des caractristiques temporelles du systme : reprsentation
souvent + raliste (temps de fabrication, dplacements..)
Analyse temporelles:
Performances(cadence de production, taux d'occupation, ..)
Vrification de contraintes temporelles(pire temps d'excution, ..)

11

RdP Temporel
T-temporiss:
dure associe aux transitions

P-temporiss:
dure associe aux places

12

RdP Temporel
Relation d'quivalence :

13

RdP P-temporiss
Les jetons sont rservs dans les places le temps du dlai
associ;
Les jetons rservs ne peuvent participer la condition de
franchissement d'une transition.
Exemple :
Franchissement de la transition Ta
marquage de P2, mais jeton rserv pendant D2=1
Seulement aprs D2, la transition Tb devient franchissable

14

RdP P-temporiss

15

RdP T-temporiss
Schma 1 (t0 ) : la transition Tj est valide
Schma 2 (t1 ) : le jeton est rserv pendant la dure dj associe.
Schma 3 (t2 ) : le temps est coul, on dmarque Pi et on marque Pk.

16

RdP T-temporiss

17

RdP Temporel : Exemple


Systme modliser:
Machine M
Stock amont S1
Stock aval S2
Chargement d'une pice sur M (si libre) de dure rc =1
Usinage de dure comprise dans l'intervalle ru =[3,7]
Dchargement de la pice usine de dure rd =1

18

RdP Temporel : Exemple

19

RdP Temporel : Exemple

20

RdP Temporel : Exemple

21

RdP Temporel : Exemple

La transition t2 n'est pas immdiatement tirable


Ds que la place Usinage est marque, on dcompte ru
22

RdP Temporel : Exemple

La transition t2 devient tirable.

23

RdP Temporel : Exemple

La transition t2 est tjs tirable aprs 4 units de temps depuis son instant de
sensibilisation
24

RdP Temporel : Exemple

La transition t2 reste tirable jusqu' son instant de tir max (=7)

25

RdP temporels vs. temporiss


Dans les RdP temporels, les jetons ne sont pas rservs.
Possibilits de modliser les choix, les conflits.
Les RdP temporels sont + gnraux que les RdP P- ou T-temporiss.
Un RdP temporel peut se transformer en RdP temporiss (intervalle
fixe) sans le pb de rservation de jeton.
Un RdP ordinaire est un RdP temporel avec intervalle {0,+ }.

26