Académique Documents
Professionnel Documents
Culture Documents
1/41
Alexandre Pauchet
INSA Rouen - Dpartement ASI
BO.B.RC.18, pauchet@insa-rouen.fr
INSA - ASI
2/41
Plan
1
Graphe des marquages accessibles Conit et paralllisme Proprits des squences de franchissements Vivacit Blocage Monotonie des proprits Conclusion
INSA - ASI
3/41
(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
INSA - ASI
4/41
(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
5/41
(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
6/41
(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
7/41
(5/8)
INSA - ASI
8/41
(6/8)
INSA - ASI
9/41
(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
10/41
(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
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
12/41
Conit et paralllisme
Exemples
(2/6)
INSA - ASI
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
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
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
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
17/41
(1/6)
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
18/41
(2/6)
Squence rptitive/innie
1
(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
19/41
(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
20/41
(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))
INSA - ASI
21/41
(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
INSA - ASI
22/41
(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
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
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
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
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
27/41
Vivacit
Vivacit
(5/8)
Exemple
INSA - ASI
28/41
Vivacit
Vivacit
(6/8)
Exemple
INSA - ASI
29/41
Vivacit
Dnition
(7/8)
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
INSA - ASI
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
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
32/41
Blocage
(2/6)
Marquage puit
Exemple
Le premier rseau est sans blocage Le second rseau possde un marquage puit
INSA - ASI
33/41
Blocage
(3/6)
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
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
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
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
37/41
(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
38/41
(2/3)
Proprits monotones
(R, M0 ) admet une squence innie (R, M0 ) est quasi-vivant (R, M0 ) est non born
INSA - ASI
39/41
(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.
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
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)
INSA - ASI
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