Curs 1

Re tele Petri s i Aplica tii
Asist. Dr. Oana Captarencu http://www.infoiasi.ro/otto/pn.html otto@infoiasi.ro
Ret ele Petri s i Aplicat ii p. 1/45
Evaluare
Nota nala: 40% TS1 + 20% TS2 + 40%LSA
TS1, TS2 - teste scrise Activitate laborator/seminar (LSA): lucrare (30%) proiect (50%) activitatea n timpul seminarului (20%) la nota nala) Referat (op tional): 2 puncte (se adauga Condi tii minimale: LSA 5, T S 1 + T S 2 7 minim 5. Nota nala:
Re tele Petri
formala (matematica) folosita pentru Re tele Petri: o metoda modelarea s i vericarea sistemelor (concurente/distribuite)
Re tele Petri
formala (matematica) folosita pentru Re tele Petri: o metoda modelarea s i vericarea sistemelor (concurente/distribuite) No tiunea de sistem:
A regularly interacting or interdependent group of items forming a unied whole (Webster Dictionary) A combination of components that act together to perform a function not possible with any of the individual parts (IEEE Standard Dictionary of Electrical and Electronic Terms)
Re tele Petri
formala (matematica) folosita pentru Re tele Petri: o metoda modelarea s i vericarea sistemelor (concurente/distribuite) No tiunea de sistem:
A regularly interacting or interdependent group of items forming a unied whole (Webster Dictionary) A combination of components that act together to perform a function not possible with any of the individual parts (IEEE Standard Dictionary of Electrical and Electronic Terms)
Sistemele: alcatuite din componente care interac tioneaza func ndeplinesc o anumita tionalitate evenimente s i stari comunicare, sincronizare concuren ta,
Re tele Petri
Exemple de sisteme: sisteme automatizate de produc tie sisteme de control al tracului aerian sisteme de monitorizare s i control n industrie re tele de comunicare sisteme software distribuite etc...
Modelarea s i vericarea sistemelor

Vericarea sistemelor reale: are drept scop vericarea unor ti dezirabile, nca din stadiul de proiectare proprieta Un model surprinde caracteristici esen tiale ale sistemului Modele (formale) pentru vericarea sistemelor: automate/sisteme tranzi tionale algebre de procese logici temporale re tele Petri etc...
Re tele Petri pentru modelarea sistemelor

Re tele Petri: Carl Adam Petri, 1962

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem intuitiva reprezentare graca

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem intuitiva reprezentare graca formala semantica

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem intuitiva reprezentare graca formala semantica nedeterminism, expresivitate (concuren ta, comunicare,sincronizare)

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem intuitiva reprezentare graca formala semantica nedeterminism, expresivitate (concuren ta, comunicare,sincronizare) a proprieta tilor existen ta metodelor de analiza

Re tele Petri: Carl Adam Petri, 1962 grafuri bipartite starilor reprezentare explicita s i evenimentelor dintr-un sistem intuitiva reprezentare graca formala semantica nedeterminism, expresivitate (concuren ta, comunicare,sincronizare) a proprieta tilor existen ta metodelor de analiza numeroase unelte software pentru editarea/vericarea tilor re proprieta telelor Petri
Re tele Petri
Domenii de aplicabilitate: Protocoale de comunicare, re tele Sisteme software si hardware Algoritmi distribui ti Protocoale de securitate Biologie, Chimie, Medicina Economie (uxuri de lucru) etc..
Retele de tip P/T

Deni tie Regula de producere a tranzi tiilor (comportament) ti Proprieta
Retele de tip P/T - Deni tie

Deni tie 1 O re tea Petri este un 4-uplu N = (P, T, F, W ) astfel nct : 1. P mul time de loca tii, T mul time de tranzi tii, P T = ; 2. F (P T ) (T P ) rela tia de ux; 3. W : (P T ) (T P ) N ponderea arcelor (x, y ) F ). (W (x, y ) = 0 ddaca
P = {p1 , p2 , p3 } T = {t1 , t2 , t3 } F = {(p1 , t1 ), (t1 , p2 ), (t1 , p3 ), (p 3 , t 3 ), (t 3 , p 1 ), (p 2 , t 2 )} W (p1 , t1 ) = 1, W (t1 , p2 ) = 1, W (t1 , p3 ) = 1, W (p3 , t3 ) = 1, W (t3 , p1 ) = 1,W (p2 , t2 ) = 2
p1 t1 p2
t3
p3
t2
Re tele de tip P/T

x P T , atunci: Daca
- Premul timea lui x: x = {y |(y, x) F }; - Postmul timea lui x: x = {y |(x, y ) F } .
p1 t1 p2
t3
p3
t2
- t1 = {p1 }, t2 = {p2 }, t3 = {p3 } - t1 = {p2 , p3 }, t2 = , t3 = {p1 } - p1 = {t3 }, p2 = {t1 }, p3 = {t1 } - p1 = {t1 }, p2 = {t2 }, p3 = {t3 }
Re tele de tip P/T

daca, pentru orice x P T , Deni tie 2 O re tea este pura x x = .
2 p1
t1
p2
t2
a elemente izolate, daca, pentru Deni tie 3 O re tea este far orice x P T , x x =
Marcare a unei re tele de tip P/T

Deni tie 4 (Marcare, re tele marcate) Fie N = (P, T, F, W ) o re tea P/T. O marcare a lui N este o func tie M : P N. Fie N = (P, T, F, W ) o re tea P/T s i M0 : P N. Atunci (N, M0 ) se nume ste re tea Petri marcata.
p1
t1
p2
t3
p3
t2
M = (1, 0, 0)
Distribu tia punctelor n loca tiile unei re tele = marcarea re telei (starea sistemului modelat)
Re tele Petri
ac Tranzi tii: reprezinta tiuni sau evenimente din sistemul modelat Punctele din loca tii: pot modela resurse/valori booleene Loca tiile input: con tin resurse (reprezentate de punctele din loca tie) care vor folosite de catre ac tiune, precondi tii pentru producerea unui eveniment Ponderea unui arc input: cte resurse de un anumit tip sunt necesare producerii ac tiunii Ponderea unui arc output: numarul de resurse de un anumit tip rezultate prin producerea ac tiunii
Exemplu
Model producator consumator: Producatorul (P) poate produce cte un produs (ntr-un buffer) produse din buffer Un consumator (C) preia cte doua producator: sa produca), Stari producator activ (pregatit producator n repaus. produse, P Evenimente: P produce un produs, C consuma redevine activ
Exemplu
Model producator consumator: Producatorul (P) poate produce cte un produs (ntr-un buffer) produse din buffer Un consumator (C) preia cte doua producator: sa produca), Stari producator activ (pregatit producator n repaus. produse, P Evenimente: P produce un produs, C consuma redevine activ
producator activ p1 produce t1 p2 buffer 2 consuma t3 revine p3 producator in repaus t2
Regula de producere a tranzi tiilor

Fie N = (P, T, F, W ) o re tea Petri, M o marcare a lui N s i t T o tranzi tie a lui N .

Fie N = (P, T, F, W ) o re tea Petri, M o marcare a lui N s i t T o tranzi tie a lui N . la marcarea M (M [t Tranzi tia t este posibila W (p, t) M (p), pentru orice p t.
N)
daca

Fie N = (P, T, F, W ) o re tea Petri, M o marcare a lui N s i t T o tranzi tie a lui N . la marcarea M (M [t Tranzi tia t este posibila W (p, t) M (p), pentru orice p t.
N)
daca
t este posibila la marcarea M , atunci t se poate Daca marcare M (M [t N M ), unde produce, rezultnd o noua M (p) = M (p) W (p, t) + W (t, p), pentru to ti p P .
Exemplu
daca loca o tanzi tie este posibila tiile input con tin suciente puncte:
2 p1 3 p2 t2 t1 p3 2 t3 p5
2 p4
Exemplu
2 p1 3 p2 t2 t1 p3 2 t3 p5
2 p4
Exemplu
2 p1 3 p2 t2 t1 p3 2 t3 p5
2 p4
marcarea re Producerea unei tranzi tii modica telei
Exemplu I
Model producator consumator:
Exemplu I
producator activ p1 produce t1
p2 buffer 2 consuma
t3 revine
p3 producator in repaus
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu I
p2 buffer 2 consuma
t3 revine
t2
Exemplu II
produse Automat care furnizeaza
Exemplu II
C introduce moneda
produse
A repaus
reincarca
A respinge moneda ofera produs
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Exemplu II
C introduce moneda
produse
A repaus
reincarca
monezi introduse
produse consumate
monezi acceptate
A accepta moneda
Secven te de apari tie a tranzi tiilor

Regula de producere a tranzi tiilor se poate extinde la secven te de tranzi tii: Deni tie 5 (secven te de apari tie)
Fie = t1 t2 . . . tk T s i M o marcare. se nume ste secven ta de apari la M, daca exista marcarile nita tie, posibila M1 , M2 , . . . , Mk astfel nct: M [t1 M1 [t2 M2 . . . Mk1 [tk Mk M [ Mk . Se mai noteaza: de tranzi cu , este secven de apari Secven ta vida tii, notata ta tie la orice marcare M a re posibila telei, s i are loc: M [ M . innita de tranzi innita O secven ta tii = t1 , t2 , . . . este secven ta la marcarea M , daca: M [t1 M2 [t2 M3 . . .. de apari tie, posibila
Nota tii
. Se denesc urmatoarele Fie = (N, M0 ) o re tea P/T marcata func tii:
t : P N, t (p) = W (p, t), p P t+ : P N, t+ (p) = W (t, p), p P t : P Z, t(p) = W (t, p) W (p, t)
T este o secven de tranzi Daca ta tii, se dene ste : P Z: = , atunci este func Daca tia identic 0. = t1 , . . . , tn , atunci = Daca
n i=1 ti .
Secven te de apari tie

p2
t 1 (p1 ) = 2, t1 (p2 ) = 1, t1 (p3 ) = 0

3 p1 2 p3 t1
+ + t+ 1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1
Secven te de apari tie

p2
t 1 (p1 ) = 2, t1 (p2 ) = 1, t1 (p3 ) = 0

3 p1 2 p3 t1
+ + t+ 1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1
Propozi tie 1 Fie t o tranzi tie, T s i M, M marcari. M [t M , atunci M = M + t. Daca M [ M , atunci M = M + Daca
Marc ari accesibile

Deni tie 6 Fie = (N, M0 ) o re tea P/T marcata. din marcarea M , daca exista O marcare M este accesibila nita de apari o secven ta tie astfel nct: M [ M .
Marc ari accesibile

Deni tie 6 Fie = (N, M0 ) o re tea P/T marcata. din marcarea M , daca exista O marcare M este accesibila nita de apari o secven ta tie astfel nct: M [ M . n , daca M este accesibila Marcarea M este accesibila M0 . din marcarea ini tiala
Marc ari accesibile

Deni tie 6 Fie = (N, M0 ) o re tea P/T marcata. din marcarea M , daca exista O marcare M este accesibila nita de apari o secven ta tie astfel nct: M [ M . n , daca M este accesibila Marcarea M este accesibila M0 . din marcarea ini tiala Mul timea marcarilor accesibile dintr-o marcare M , n , se [M ([M cnd este clar despre ce re noteaza tea este vorba).
Marc ari accesibile

Deni tie 6 Fie = (N, M0 ) o re tea P/T marcata. din marcarea M , daca exista O marcare M este accesibila nita de apari o secven ta tie astfel nct: M [ M . n , daca M este accesibila Marcarea M este accesibila M0 . din marcarea ini tiala Mul timea marcarilor accesibile dintr-o marcare M , n , se [M ([M cnd este clar despre ce re noteaza tea este vorba).
[M0 .
se nume ste mul timea marcarilor accesibile n re teaua
Propriet a ti pentru secven te de apari tie

nita de Propozi tie 2 Fie M o marcare s i o secven ta este o secven de apari tie, astfel nct M [ M . Daca ta sau innita) posibila la marcarea M , atunci apari tie (nita de apari la M . este secven ta tie posibila

nita de Propozi tie 2 Fie M o marcare s i o secven ta este o secven de apari tie, astfel nct M [ M . Daca ta sau innita) posibila la marcarea M , atunci apari tie (nita de apari la M . este secven ta tie posibila innita de apari Propozi tie 3 O secven ta tie este posibila orice prex nit al lui este posibil la la o marcare M ddaca M.

nita de Propozi tie 2 Fie M o marcare s i o secven ta este o secven de apari tie, astfel nct M [ M . Daca ta sau innita) posibila la marcarea M , atunci apari tie (nita de apari la M . este secven ta tie posibila innita de apari Propozi tie 3 O secven ta tie este posibila orice prex nit al lui este posibil la la o marcare M ddaca M. o secven de apari Propozi tie 4 Fie M s i M marcari, ta tie att la M ct s posibila i la M , astfel nct: M [ M s i M [ M . Atunci M (p) M (p) = M (p) M (p), pentru orice loca tie p P .

T o secven de Propozi tie 5 Fie M , M s i L marcari, ta la M . tranzi tii, posibila nita s Daca i M [ M , atunci (M + L)[ (M + L). innita s Daca i M [ , atunci (M + L)[
Demonstra tie: induc | | = n. nita: tie dupa se arata ca orice prex nit al lui este posibil la M + L. innita:
M = (2, 1, 1, 0)[t1 t2 (1, 0, 1, 2) = M (3, 2, 2, 0)[t1 t2 ?

marcari. Deni tie 7 Fie M s i M doua M (p) M (p), p P . M M ddaca M M s M > M ddaca i p P : M (p) > M (p). marcari astfel nct M M . Propozi tie 6 Fie M s i M doua de apari la marcarea M este Atunci orice secven ta tie posibila s posibila i la marcarea M .
M M = L marcare astfel nct M = M + L M [ = M = (M + L)[ innita: M [ M s nita: i M = (M + L)[ (M + L)

Lema 1 Fie N o re tea oarecare, U, V T astfel nct (U V ) astfel nct M [ M , atunci V U = . Daca M [ |U |V M .
t1
t2
t1 V s i t2 U . t1 t2 = M [t1 t2 M , atunci: M [t2 t1 M

Lema 1 Fie N o re tea oarecare, U, V T astfel nct (U V ) astfel nct M [ M , atunci V U = . Daca M [ |U |V M .
Demonstra tie: Fie N o re tea oarecare, t1 , t2 T astfel nct t1 V s i t2 U . Deci t1 t2 = . ca: Se arata
[t M M [t1 M2 [t2 M = M [t2 M2 1
p t2 : W (p, t2 ) M (p)). M [t2 (adica

[t . . Se arata ca M2 Fie M [t2 M2 1 [t M . ca M [ t2 M 2 Se arata 1
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0) = t2 t4 t3 t1 t4 M = (1, 0, 1, 0)[t2 t4 t3 t1 t4 (0, 0, 2, 0, 2) = M M [t2 t1 t4 t3 t4 M
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Exemplu
p1 t1
p2
t2
p3 2
t3
p4
t4
p5
Proprietatea de m arginire
Fie = (M, M0 ) o re tea Petri marcata. Deni tie 8 (marginire)
Fie = (M, M0 ) o re tea Petri marcata. Deni tie 8 (marginire) daca: O loca tie p este marginit a
( n N)(M [M0 )( M (p) n)
( n N)(M [M0 )( M (p) n)
este marginit daca orice loca Re teaua marcata a tie p P este marginit a.
( n N)(M [M0 )( M (p) n)
este marginit daca orice loca Re teaua marcata a tie p P este marginit a. daca exista o marcare Re teaua N este structural marginit a, M astfel nct (N, M ) este marginit a.
( n N)(M [M0 )( M (p) n)
este marginit daca orice loca Re teaua marcata a tie p P este marginit a. daca exista o marcare Re teaua N este structural marginit a, M astfel nct (N, M ) este marginit a.
M arginire-exemple
p1 t1
t2
p2
M arginire-exemple
p1 t1
M (p) 1, p P re teaua este marginit a:
t2
p2
M arginire-exemple
p1 t1
t2
p1
p2
t2
t1
p2
p3
M arginire-exemple
p1 t1
t2
p1
p2
re teaua este nemarginit a:

t2 t1 p2
p2 poate con tine o innitate de puncte!
p3
= (N, M0 ) este Propozi tie 7 O re tea P/T marcata ddaca mul marginit a timea [M0 este nita.
(=) Fie n astfel nct (M [M0 )(p P )(M (p) n). Numarul maxim de este (n + 1)|P | . marcari n = max{M (p)|M [M0 , p P }. (=) Se considera
= (N, M0 ) este marginit nu exista Propozi tie 8 Daca a, marcari M1 , M2 [M0 astfel nct M1 [ M2 s doua i M2 > M1 .
= (N, M0 ) este marginit nu exista Propozi tie 8 Daca a, marcari M1 , M2 [M0 astfel nct M1 [ M2 s doua i M2 > M1 .
M 1 [ M 2 s Daca i M2 > M1 = M2 [ M3 (prop. 6) s i M3 > M2 (prop. 4). Deci M3 [ M4 , M4 > M3 , etc.
Propriet a ti: pseudo-viabilitate

Fie = (N, M0 ) o re tea Petri marcata. Deni tie 9 (pseudo-viabilitate) din marcarea M , O tranzi tie t T este pseudo-viabila exista o marcare M [M astfel nct M [t . daca daca este O tranzi tie t T este pseudo-viabila din M0 (exista o marcare accesibila pseudo-vaibila M [M0 astfel nct M [t ). O tranzi tie care nu este se nume pseudo-viabila ste moarta. este pseudo-viabila daca toate Re teaua marcata tranzi tiile sale sunt pseudo-viabile.
Exemple
p1 p3 p2 t1 t3 p5
t2
p4
Exemple
p1 p3 p2 t1 t3 p5
t2
p4
t1 este tranzi tie moarta t2 pseudo-viabila t3 este tranzi tie moarta
Propriet a ti: blocaje

Fie = (N, M0 ) o re tea Petri marcata. Deni tie 10 (blocaje) daca nu O marcare M a re telei marcate este moarta o tranzi exista tie t T astfel nct M [t . a blocaje, daca nu exista marcari Re teaua este far accesibile moarte.
Exemple
p1
p3 p2 t1 t3 p5
t2
p4
Exemple
p1
p3 p2 t1 t3 p5
t2
p4
deci re Marcarea (0,0,0,1,0) este moarta, teaua are blocaje.
Propriet a ti: viabilitate

Deni tie 11 (viabilitate) Fie N = (P, T, F, W ) o re tea de tip P/T s i = (N, M0 ) o re tea Petri marcata. daca M [M0 , t este O tranzi tie t T este viabila din M (M [M astfel nct M [t ). pseudo-viabila este viabila daca orice tranzi Re teaua marcata tie t T este viabila. daca exista o marcare M re teaua N este structural viabila astfel nct (N, M ) este viabila.
Exemple
p1 t1 p2
2 2 t3 p3 t2
viabila si far a blocaje. Re tea pseudo-viabila,
Exemple
Exemple
t1 ,t2 ,t3 : nu sunt viabile t4 ,t5 : viabile
re teaua este pseudo-viabila
Reversibilitate
este reversibila daca marcarea Deni tie 12 Re teaua marcata este accesibila din orice marcare M [M0 . sa ini tiala
Reversibilitate
este reversibila daca marcarea Deni tie 12 Re teaua marcata este accesibila din orice marcare M [M0 . sa ini tiala
p1 t1 p2
2 2 t3 p3 t2
Propriet a ti ale re telelor Petri

Fie = (N, M0 ) o re tea Petri marcata. viabila este s Propozi tie 9 Orice re tea marcata i pseudo-viabila.

Fie = (N, M0 ) o re tea Petri marcata. viabila este s Propozi tie 9 Orice re tea marcata i pseudo-viabila. viabila, avnd cel pu Propozi tie 10 Orice re tea marcata tin a blocaje. o tranzi tie, este far

Fie = (N, M0 ) o re tea Petri marcata. viabila este s Propozi tie 9 Orice re tea marcata i pseudo-viabila. viabila, avnd cel pu Propozi tie 10 Orice re tea marcata tin a blocaje. o tranzi tie, este far o re a loca Propozi tie 11 Daca tea far tii izolate este viabila, din orice marcare atunci orice loca tie poate marcata, accesibila.

Fie = (N, M0 ) o re tea Petri marcata. viabila este s Propozi tie 9 Orice re tea marcata i pseudo-viabila. viabila, avnd cel pu Propozi tie 10 Orice re tea marcata tin a blocaje. o tranzi tie, este far o re a loca Propozi tie 11 Daca tea far tii izolate este viabila, din orice marcare atunci orice loca tie poate marcata, accesibila. reversibila este viabila Propozi tie 12 O re tea marcata este pseudo-viabila. ddaca

Fie = (N, M0 ) o re tea Petri marcata. viabila este s Propozi tie 9 Orice re tea marcata i pseudo-viabila. viabila, avnd cel pu Propozi tie 10 Orice re tea marcata tin a blocaje. o tranzi tie, este far o re a loca Propozi tie 11 Daca tea far tii izolate este viabila, din orice marcare atunci orice loca tie poate marcata, accesibila. reversibila este viabila Propozi tie 12 O re tea marcata este pseudo-viabila. ddaca reversibila este far a blocaje. Propozi tie 13 O re tea marcata
Exemple
este s Q: orice re tea pseudo-viabila i viabila? este s a blocaje? Q: orice re tea pseudo-viabila i far este s ? Q: orice re tea viabila i reversibila
Exemple
p3 p1 t1 p2 t2 p4
Exemple
p3 p1 t1 p2 t2 p4
Exemple
p3 p1 t1 p2 t2 p4
(toate tranzi Re tea pesudo-viabila tiile pseudo-viabile). Re teaua are blocaje (marcarea (0, 0, 1, 1) este moarta). Re teaua nu este viabila!
Exemple
care nu este reversibila: Re tea viabila,
p1
t1 t2 p3 t3 p4
p2
(1, 0, 0, 0)[t2 (0, 1, 1, 0)[t1 (1, 0, 1, 0)[t3 (1, 0, 0, 1). (1, 0, 0, 0) nu este accesibila din (1, 0, 0, 1). Marcarea ini tiala
Exemple
o rela Q: Exista tie ntre proprietatea de marginire si cea de viabilitate?
Exemple
p1
t1
t2
p2
Exemple
p1
t1
(1, 0)[t1 [t2 (0, 1)[t1 [t2 (0, 1)... s Retea marginit a i este viabila
t2
p2
Exemple
p1
t1
t2
p1
p2
t2
t1
p2
p3
Exemple
p1
t1
t2
p1
p2
t2
t1
p2
este viabila Retea nemarginit a,
p3
Exemple
p1
t1
t2
p1
p2
t2
t1
p2
este viabila Retea nemarginit a,
p3
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
(loca (M = (0, 0, 0, 2, 1) s Re tea nemarginit a tia p4 ), neviabila i t1 )
Exemple
p3 t1
p1
p2
t3
t4 p5
t5
p4
t2
(loca (M = (0, 0, 0, 2, 1) s Re tea nemarginit a tia p4 ), neviabila i t1 )
M arginire s i viabilitate
(far a elemente izolate) marginit Teorema 1 Orice re tea conexa a este tare conexa. s i viabila
ca pentru orice (x, y ) F , exista un drum de la y la x. Demonstra tie: Se arata
x y
Caz 1: x P, y T . drum de la y la t} (y V ) Fie V = {t T |exista drum de la y la t} U = {t T |nu exista V U = .

U V
x y

U V
x y

U V
Exemple
nu este viabila sau marginit Re teaua nu este tare conexa a:
t1
p1
t2
p2
t3
a: re dar nu este viabila. Reciproca teoremei nu este adevarat teaua este tare conexa,
t2
p1
p2
t3

Curs 1

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Curs 1

Încărcat de

Drepturi de autor:

Formate disponibile

Re tele Petri s i Aplica tii

Asist. Dr. Oana Captarencu http://www.infoiasi.ro/otto/pn.html otto@infoiasi.ro

Ret ele Petri s i Aplicat ii p. 1/45

Ret ele Petri s i Aplicat ii p. 2/45

Ret ele Petri s i Aplicat ii p. 3/45

Ret ele Petri s i Aplicat ii p. 3/45

Ret ele Petri s i Aplicat ii p. 3/45

Ret ele Petri s i Aplicat ii p. 4/45

Modelarea s i vericarea sistemelor

Ret ele Petri s i Aplicat ii p. 5/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Re tele Petri pentru modelarea sistemelor

Ret ele Petri s i Aplicat ii p. 6/45

Ret ele Petri s i Aplicat ii p. 7/45

Retele de tip P/T

Ret ele Petri s i Aplicat ii p. 8/45

Retele de tip P/T - Deni tie

Ret ele Petri s i Aplicat ii p. 9/45

Re tele de tip P/T

Re tele de tip P/T

Ret ele Petri s i Aplicat ii p. 11/45

Marcare a unei re tele de tip P/T

Ret ele Petri s i Aplicat ii p. 13/45

Ret ele Petri s i Aplicat ii p. 14/45

Ret ele Petri s i Aplicat ii p. 14/45

Regula de producere a tranzi tiilor

Ret ele Petri s i Aplicat ii p. 15/45

Regula de producere a tranzi tiilor

Ret ele Petri s i Aplicat ii p. 15/45

Regula de producere a tranzi tiilor

Ret ele Petri s i Aplicat ii p. 15/45

Ret ele Petri s i Aplicat ii p. 16/45

Ret ele Petri s i Aplicat ii p. 16/45

marcarea re Producerea unei tranzi tii modica telei

Ret ele Petri s i Aplicat ii p. 16/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 17/45

Ret ele Petri s i Aplicat ii p. 18/45

A respinge moneda ofera produs

Ret ele Petri s i Aplicat ii p. 18/45

A respinge moneda ofera produs

Ret ele Petri s i Aplicat ii p. 18/45

A respinge moneda ofera produs

Ret ele Petri s i Aplicat ii p. 18/45