Académique Documents
Professionnel Documents
Culture Documents
car alors toutes les proprits peuvent tre dduites simplement par inspection de celui-ci.
j Graphe infini : Dans ce cas, on construit un autre
Arbre et graphe
Arbre de marquages accessibles
Graphe de marquages
Le symbole
j Ce symbole peut tre considr comme reprsentant
une quantit arbitrairement grande de jetons, autrement IN. dit une infinit. j Proprits de : pour toute constante (entire) n +n= -n= n< j Ce symbole va servir construire larbre de couverture dans le cas dun graphe des marquages infini
RdP Vrification des Proprits
Lalgorithme
(1) La racine r est tiquete par M0 (2) Un sommet s tiquet par Q IN seulement si
m
na pas de successeur si et
soit il existe sur le chemin de r s un sommet s tiquet galement par Q soit il nexiste pas de transition t telle que Entree(.,t) Q
(3) Si s tiquet par Q ne vrifie pas les conditions de (2), alors pour toute transition t telle que Entree(.,t) Q, il existe un sommet s successeur de s. Larc (s, s) est tiquet par t, le sommet s est tiquet par Q, o Q est dfini comme suit:
Si il existe sur le chemin de r s un sommet s tiquet par Q avec Q Q + C(.,t), alors pour tout p telle que Q(p) < Q(p) + C(p,t) on a Q(p) = . Dans le cas contraire Q(p) = Q(p) + C(p,t).
RdP Vrification des Proprits
Exercice
Arbre de couverture du rseau suivant?
Graphe de couverture
j Le graphe de couverture, not GC(N), est obtenu de
larborescence de couverture en fusionnant les sommets tiquets par les mmes lments (vecteurs) et redirigeant les arcs entre les sommets ainsi obtenus.
j Proprits
Il est toujours possible de construire le graphe de couverture, celui-ci est fini Si s est une squence de franchissement telle que M0 ps M alors il existe un chemin dans GC(N) partant de M0 conduisant un sommet Q tel que p P M(p) Q(p) Q couvre P, do le nom du graphe.
10
Arborescence de couverture
11
Couverture:
M0 = (1, 0, 0, 0)
s = t1t1t1t2t3 M0
s
12
13
dinformation
j Dune manire gnrale, ce graphe ne permet
14
j Le mot
t1 t2 t2 tiquette bien un chemin du graphe de couverture partant de M0 et pourtant la squence nest pas tirable depuis M0.
RdP Vrification des Proprits
15
16
Accessibilit
j Dans le cas dun rseau born un marquage M est
vrifier laide dun graphe de couverture si M est accessible. On peut seulement vrifier quil existe un marquage M tel que M M.
17
Rappel
j Composante fortement connexe dun graphe:sous-
graphe tel quil existe un chemin (orient) entre tout point A et tout point B de ce sous-graphe.
j Arc sortant dune composante fortement connexe: arc
qui a comme sommet origine un sommet de cette composante et comme extrmit un sommet qui nappartient pas cette composante.
18
partant dun noeud quelconque du graphe des marquages accessibles, il existe un chemin orient contenant un arc marqu t. La transition t est vivante si et seulement si chaque composante fortement connexe et sans arc sortant du graphe contient un arc marqu t.
j Un rdP born est vivant si et seulement si chaque composante
fortement connexe du graphe qui na pas darc sortant contient au moins un arc marqu par chaque transition.
j Un rdP born est sans blocage si et seulement si chaque n ud
19
Exercice
20
graphe de couverture possde une composante fortement connexe sans arc sortant dans laquelle aucun arc nest marqu t.
j Un rdP non born nest pas vivant si son graphe de couverture
possde au moins une composante fortement connexe sans arc sortant et dont lunion des transitions attaches aux arcs nest pas lensemble des transitions.
j Un rdP non born est avec blocage si son graphe de couverture
21
Exercice
j RdP non born: que peut-on dire?
(T={t1,t2,t3,t4,t5,t6})
22
graphe des marquages atteignables possde une et une seule composante fortement connexe sans arc sortant. De plus lensemble des marquages figurant dans cette composante donne lensemble des tat daccueil.
possde une et une seule composante fortement connexe sans arc sortant. Si de plus il est rversible, il existe un marquage M de cette composante tel que p P (M(p) = M0(p) ou M(p) = )
RdP Vrification des Proprits
23
Exercice
j Rversibilit: construire les graphes de
24