Académique Documents
Professionnel Documents
Culture Documents
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 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
18
19
20
21
23
La transition t2 est tjs tirable aprs 4 units de temps depuis son instant de
sensibilisation
24
25
26