Vous êtes sur la page 1sur 41

INSA - ASI

MSC : Proprits des RdP

1/41

Modlisation des Systmes Complexes


Proprits des Rseaux de Petri

Alexandre Pauchet
INSA Rouen - Dpartement ASI
BO.B.RC.18, pauchet@insa-rouen.fr

INSA - ASI

MSC : Proprits des RdP

2/41

Plan
1

Graphe des marquages accessibles Conit et paralllisme Proprits des squences de franchissements Vivacit Blocage Monotonie des proprits Conclusion

INSA - ASI

MSC : Proprits des RdP

3/41

Graphe des marquages accessibles


Rappels

(1/8)

Squence de franchissements
Une squence de franchissements de M0 Mn est un mot t0 ...tn1 tel quil existe des marquages M1 , ..., Mn vriant
0 M0 M1 ...Mn1 Mn

tn1

Accessibilit dun marquage


Un marquage M est dit marquage accessible (successeur de M) ssi il s existe une suite de transitions s T tel que M M .

Ensemble des marquages accessibles


Lensemble des marquages accessibles dun rseau de Petri R depuis M0 s est not A(R, M0 ) : A(R, M0 ) = {Mi , s t.q. M0 Mi }

INSA - ASI

MSC : Proprits des RdP

4/41

Graphe des marquages accessibles


Graphes des marquages accessibles

(2/8)

Dnition
Lorsque A(R, M0 ) est ni, il peut tre reprsent sous la forme dun graphe not GA(R, M0 ). Ce graphe a pour sommets A(R, M0 ) Un arc orient relie 2 sommets Mi et Mj sil existe une transition t franchissable permettant de passer dun marquage un autre : Mi Mj Les arcs sont tiquets par les transitions correspondantes. Automate tats quivalent au RdP
t

INSA - ASI

MSC : Proprits des RdP

5/41

Graphe des marquages accessibles


Dnition formelle

(3/8)

Dnition
Le graphe des marquages accessibles (ou graphe daccessibilit) dun rseau marqu (R, M0 ) est un systme de transitions < A(R, M0 ), , , M0 > tel que : A(R, M0 ) est lensemble des marquages accessibles dans R partir s de M0 : A(R, M0 ) = {M/M Nm et s T t.q. M0 M}

est lensemble des arcs reliant 2 marquages accessibles dans R t partir de M0 : {(q1 , q2 ) QxQ/t T , q1 q2 } est la fonction qui tiquette lensemble des arcs du graphe par le nom de la transition de R qui a t franchie M0 est le marquage initial

INSA - ASI

MSC : Proprits des RdP

6/41

Graphe des marquages accessibles


Construction du graphe des marquages accessibles

(4/8)

Algorithme
nouveaux_tats <- { Mo } graphe <- < { Mo } , , id , Mo > Tant que nouveaux_tats != faire tat_en_cours <- un lment de nouveaux_tats nouveaux_tats <- nouveaux_tats \ tat_en_cours Pour toute transition t de T faire : Si tat_en_cours [t > alors tat_futur <- ( tat_en_cours [t > tat_futur ) Si tat_futur est nouveau alors crer le noeud tat_futur et l ajouter l ensemble des noeuds du graphe ajouter tat_futur l ensemble nouveaux_tats FinSi ajouter au graphe tat_en_cours -> tat_futur FinSi FinPour Fin Tant que Retourner graphe

INSA - ASI

MSC : Proprits des RdP

7/41

Graphe des marquages accessibles

(5/8)

Exemples de construction du Graphe des Marquages Accessibles

INSA - ASI

MSC : Proprits des RdP

8/41

Graphe des marquages accessibles


Exemple

(6/8)

INSA - ASI

MSC : Proprits des RdP

9/41

Graphe des marquages accessibles


Proprits

(7/8)

Remarques
Le graphe des marquages accessibles dpend de R et de M0 Un graphe ni peut contenir des squences innies Le graphe des marquages accessibles peut tre inni

Exemple
p1 t1 2 p3 t3 2 p2 t2

INSA - ASI

MSC : Proprits des RdP

10/41

Graphe des marquages accessibles


Etat daccueil

(8/8)

Dnition
Un rseau marqu (R, M0 ) admet un tat daccueil Ma si, pour tout marquage M appartenant GMA(R, M0 ), il existe une squence s telle s que M Ma .

Exemple

INSA - ASI

MSC : Proprits des RdP

11/41

Conit et paralllisme
Rseau de Petri pur

(1/6)

Dnition
Un rseau de Petri R est dit pur ssi p P et t T : Entree(p, t).Sortie(p, t) = 0

Explication : Le graphe ne comprend aucune boucle lmentaire, cest--dire quaucune transition na de place en entre et en sortie.

INSA - ASI

MSC : Proprits des RdP

12/41

Conit et paralllisme
Exemples

(2/6)

Rseau de Petri pur

Rseau de Petri non pur

INSA - ASI

MSC : Proprits des RdP

13/41

Conit et paralllisme
Conit

(3/6)

Conit structurel
2 transitions t1 et t2 sont en conit structurel ssi elles ont au moins une place dentre en commun : p tel que Entree(p, t1 ).Entree(p, t2 ) = 0

Conit eectif
2 transitions t1 et t2 sont en conit eectif pour un marquage M ssi elless ont en conit structurell et que : M Entree(., t1 ) M Entree(., t2 )

INSA - ASI

MSC : Proprits des RdP

14/41

Conit et paralllisme
Exemples

(4/6)

Exemple

les transitions a et c sont en conit structurel : Entree(p2, a).Entree(p2, c) = 3 0 a et c sont en conit eectif pour le marquage M = 3 0

INSA - ASI

MSC : Proprits des RdP

15/41

Conit et paralllisme
Paralllisme

(5/6)

Paralllisme structurel
2 transitions t1 et t2 sont parallles structurellement ssi : Entree(., t1 )t xEntree(., t2 ) = 0 Elles nont donc aucune place dentre commune (le produit scalaire de leur vecteur dentre est nul)

Paralllisme eectif
2 transitions t1 et t2 sont parallles pour un marquage M ssi elles sont parallles structurellement et que : M Entree(., t1 ) M Entree(., t2 )

INSA - ASI

MSC : Proprits des RdP

16/41

Conit et paralllisme
Exemples

(6/6)

Exemple

les transitions b et d sont en structurellement parallle : Entree(., b)t xEntree(., d ) = 0 1 b et d sont eectivement parallle pour le marquage M = 0 1 elles peuvent tre franchies indpendamment lune de lautre

INSA - ASI

MSC : Proprits des RdP

17/41

Proprits des squences de franchissements


Existence et monotomie

(1/6)

Existence dun marquage


Pour toute squence de transitions s, il existe toujours un marquage M tel que celle-ci soit franchissable : s T , M Nm tel que M
s

Monotonie
Laugmentation des jetons dans les places dun marquage prserve la possibilit de franchissement dune squence de transition : Si M1 et M1 M2 alors M2
Remarque : Ma Mb ssi p P, Ma (p) Mb (p)

INSA - ASI

MSC : Proprits des RdP

18/41

Proprits des squences de franchissements


Squences rptitives/innies

(2/6)

Squence rptitive/innie
1

Une squence de transitions s est dite rptitive ssi M t.q. M alors M


s s

(R, M0 ) admet une squence innie s, o s est un mot inni sur T , ssi pour tout s prxe ni de s, s est une squence de franchissements de (R, M0 )

Exemple
a p

INSA - ASI

MSC : Proprits des RdP

19/41

Proprits des squences de franchissements


Proprits lies aux squences rptitives

(3/6)

Thorme
M, M Nm MM MM
s

s est rptitive

Caractre born
Le nombre de jetons circulant dans le rseau reste-t-il born ?

Activit
Est-ce quune partie ou lensemble dun rseau peut toujours voluer ?

INSA - ASI

MSC : Proprits des RdP

20/41

Proprits des squences de franchissements


Caractre born

(4/6)

RdP k-borne
Soit un rseau de Petri R et un marquage M0 . Une place p de (R, M0 ) est k-borne si pour tout marquage M accessible depuis M0 , M(p) k. p est k-borne M A(R, M0 ), M(p) k R est alors k-born avec k = Max(M(p))

Place non borne


Une place p de (R, M0 ) est non borne ssi n N, M A(R, M0 ) tel que M(p) > n

INSA - ASI

MSC : Proprits des RdP

21/41

Proprits des squences de franchissements


Rseau born

(5/6)

Dnition
Un rseau de Petri est dit born si toutes ses places sont bornes. Les rseaux 1-borns sont appels rseaux saufs.

Exemple

Rseau non born

Rseau structurellement born


Un rseau est dit structurellement born si il est born quel que soit le marquage initial.

INSA - ASI

MSC : Proprits des RdP

22/41

Proprits des squences de franchissements


Squence rptitive croissante

(6/6)

Thorme
Un rseau (R, M0 ) est structurellement born si (pas dquivalence) p P, t T , E (p, t) S(p, t) 0

Dnition
Une squence rptitive s est dite croissante pour une place p ssi M, M A(R, M0 ) tels que M M alors M (p) M(p)
s

Thorme
Un rseau (R, M0 ) est non borne ssi il existe une squence rptitive croissante s pour une place p et un marquage accessible M depuis M0 tels s que M

INSA - ASI

MSC : Proprits des RdP

23/41

Vivacit
Dnition

(1/8)

Pseudo-vivacit

Un rseau marqu (R, M0 ) est pseudo-vivant ssi M GA(R, M0 ), t T telle que M Un rseau marqu sera donc pseudo-vivant sil ne contient pas de marquage puit (i.e. sans blocage).
t

Exemple

INSA - ASI

MSC : Proprits des RdP

24/41

Vivacit
Dnition

(2/8)

Quasi-vivacit

Une transition est quasi-vivante si elle peut tre franchie au moins t une fois : M GA(R, M0 ), tel que M Un rseau marqu (R, M0 ) est quasi-vivant ssi t T , M GA(R, M0 ), tel que M
t

Exemple

INSA - ASI

MSC : Proprits des RdP

25/41

Vivacit

(3/8)

Monotonie de la quasi-vivacit

Rappel : Monotonie
Laugmentation des jetons dans les places dun marquage prserve la possibilit de franchissement dune squence de transitions : Si M et M M alors M
s s

Proprit
Une transition quasi-vivante de (R, M) est aussi quasi-vivante pour (R, M ) si M M

INSA - ASI

MSC : Proprits des RdP

26/41

Vivacit
Vivacit

(4/8)

Dnition
Une transition est vivante si quelle que soit lvolution du rseau, elle peut tre toujours tre franchie terme : M GA(R, M0 ), t est quasi-vivante pour (R, M) Un rseau marqu (R, M0 ) est vivant ssi M GA(R, M0 ), (R, M) est quasi-vivant Remarque : La vivacit nest pas monotone, i.e. la vivacit dune transition nest pas forcment conserve par une augmentation du nombre des jetons dans les places.

INSA - ASI

MSC : Proprits des RdP

27/41

Vivacit
Vivacit

(5/8)

Exemple

INSA - ASI

MSC : Proprits des RdP

28/41

Vivacit
Vivacit

(6/8)

Exemple

INSA - ASI

MSC : Proprits des RdP

29/41

Vivacit
Dnition

(7/8)

Squence rptitive complte

Une squence est dite rptitive complte si elle contient au moins une occurence de chaque transition

Thorme
Un rseau marqu (R, M0 ) est vivant ssi pour tout marquage accessible M, il existe un marquage M accessible partir de M et une squence s rptitive complte s tels que M . (R, M0 ) est vivant

M A(R, M0 ), M A(R, M), s complte, tels que M

INSA - ASI

MSC : Proprits des RdP

30/41

Vivacit
Dnition

(8/8)

Rseau rversible

Un rseau marqu est dit rversible (rinitialisable/propre) ssi son graphe des marquages accessibles est fortement connexe : M A(R, M0 ), s, M M0 Un RdP est rversible pour un M0 ssi M0 est un tat daccueil.
s

Exemple

INSA - ASI

MSC : Proprits des RdP

31/41

Blocage
Dnition

(1/6)

Marquage puit

Un marquage puit est un marquage partir duquel aucune transition nest franchissable. Le rseau na alors plus la possibilit dvoluer.

Dnition
Un rseau marqu est dit sans blocage si aucun de ses marquage accessibles nest un marquage puit. Remarques : Labsence de blocage est une proprit plus faible que la vivacit ; elle implique seulement que le rseau a toujours la possibilit dvoluer. Vivacit et sans blocage sont 2 notions distinctes. Un rseau peut tre sans blocage sans que toutes ses transitions ne soient vivantes.

INSA - ASI

MSC : Proprits des RdP

32/41

Blocage

(2/6)

Marquage puit

Exemple

Le premier rseau est sans blocage Le second rseau possde un marquage puit

INSA - ASI

MSC : Proprits des RdP

33/41

Blocage

(3/6)

Vivacit et marquage puit

Exemple

Il ny a pas de marquage puit Le rseau est sans blocage t1 , t2 , t3 et t4 sont quasi-vivantes mais non vivantes t3 est vivante pour M0 =t (1, 0, 0)

INSA - ASI

MSC : Proprits des RdP

34/41

Blocage
Dnition

(4/6)

Vivacit structurelle

Un rseau est dit structurellement vivant ssi il existe un marquage initial tel que le rseau soit vivant

Exemple

INSA - ASI

MSC : Proprits des RdP

35/41

Blocage
Interblocage

(5/6)

On parle dinterblocage dans un rseau non sans blocage (contenant au moins un marquage puit) lorsque 2 sous-parties distinctes du rseau sempchent mutuellement de sortir du marquage puit.

Exemple

INSA - ASI

MSC : Proprits des RdP

36/41

Blocage
Famine

(6/6)

On parle de famine dans un rseau quand une transition dune sous-partie dun rseau est en attente du franchissement dune transition dune autre sous-partie du rseau pour voir ses pr-conditions dentre vries.

Exemple

INSA - ASI

MSC : Proprits des RdP

37/41

Monotonie des proprits


Monotonie

(1/3)

Dnition
Soit une proprit dun RdP non marqu R. est dite monotone ssi (R, M0 ), (R, M0 ) = M0 M0 , (R, M0 )

Lemme de monotonie
M1 M2 et M1 M1 = M2 , M2 M2 et M1 M2
s s

INSA - ASI

MSC : Proprits des RdP

38/41

Monotonie des proprits


Monotonie des proprits

(2/3)

Proprits monotones
(R, M0 ) admet une squence innie (R, M0 ) est quasi-vivant (R, M0 ) est non born

Proprits non monotones


(R, M0 ) est pseudo-vivant (R, M0 ) est vivant (R, M0 ) admet un tat daccueil (R, M0 ) est born

INSA - ASI

MSC : Proprits des RdP

39/41

Monotonie des proprits


Relation entre proprits

(3/3)

Vivacit/bornes/tat daccueil
Si (R, M0 ) est pseudo-vivant ou non-born, alors (R, M0 ) admet une squence innie. Si (R, M0 ) est vivant, alors (R, M0 ) est quasi-vivant et pseudo-vivant. Si (R, M0 ) est quasi-vivant et admet M0 comme tat daccueil, alors (R, M0 ) est vivant.

Utilisation du lemme de monotonie


Si M1 M2 et M2 > M1
s

s est aussi franchissable partir de M2 On a une squence innie qui augmente le marquage :
Le rseau est non born, le graphe des marquages accessibles est inni, mais on peut construire une reprsentation dun sous-ensemble des marquages accessibles

INSA - ASI

MSC : Proprits des RdP

40/41

Conclusion
Rsum

(1/2)

Notions abordes
RdP pur Conit et paralllisme dans les RdP (structurel et eectif) Graphe des marquages accessibles Etat daccueil Squence rptitive Caractre born dun rseau (structurellement eectivement) Squence rptitive croissante Vivacit (Pseudo-vivacit, Quasi-vivacit, Vivacit, Squences rptitives
compltes, Rversibilit)

Blocage (Marquage puit, Lien avec la vivacit, Interblocage, Famine,


Monotonie)

INSA - ASI

MSC : Proprits des RdP

41/41

Conclusion
Sources

(2/2)

Articles/Livres
Rseaux de Petri et systmes parallles, Guy Vidal Naquet et Annie Choquet Geniet, Editions Armand Colin, 1992.

Liens
http://www.laas.fr/~robert/enseignement.d/index.html https://www-master.ufr-info-p6.jussieu.fr/2007/Ajouts/Master_ esj20_2007_2008/IMG/pdf/rdp_ordinaire.pdf

Vous aimerez peut-être aussi