Curs1 PDF

Retele Petri si Aplicatii
Curs 1
RPA (2016)
Curs 1
1 / 51
Structura cursului
1
Informatii curs
Retele Petri - introducere
Definitia retelelor Petri
Proprietati comportamentale
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate
Legatura dintre proprietati n retele Petri

RPA (2016)
Curs 1
2 / 51
Informatii curs
Structura cursului
1
Informatii curs
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate

RPA (2016)
Curs 1
3 / 51
Informatii curs
Contact
Titular curs: lect. Dr. Oana Captarencu

Adresa email:otto@infoiasi.ro
Birou: C211
Pagina cursului:
http://www.infoiasi.ro/~otto/pn.html
RPA (2016)
Curs 1
4 / 51
Informatii curs
Evaluare
Punctaj final: 4 T1 + 2 T2 + 4 LSA
T1, T2 - teste scrise in saptamanile 8, respectiv sesiune (notate cu o
nota de la 1 la 10)
Activitate laborator/seminar (LSA) - notata cu o nota de la 0 la 10:
activitatea laborator (20%)
tema laborator (30%)
lucrare de laborator (50%)
Conditii minimale: LSA 4, T 1 + T 2 7

Punctaj final minim: 50 puncte.
Nota finala se va stabili conforma criteriilor ECTS
RPA (2016)
Curs 1
5 / 51
Structura cursului
1
Informatii curs
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate

RPA (2016)
Curs 1
6 / 51
Retele Petri
Retele Petri: o metoda formala (matematica) folosita pentru modelarea si
verificarea sistemelor (concurente/distribuite)
RPA (2016)
Curs 1
7 / 51
Retele Petri
Notiunea de sistem:
A regularly interacting or interdependent group of items forming a unified 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)
RPA (2016)
Curs 1
7 / 51
Retele Petri
Notiunea de sistem:
A regularly interacting or interdependent group of items forming a unified 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 interactioneaza
ndeplinesc o anumita functionalitate
evenimente si stari
concurenta, comunicare, sincronizare
RPA (2016)
Curs 1
7 / 51
Retele Petri
Exemple de sisteme:
sisteme automatizate de productie
sisteme de control al traficului (terestru,aerian)
sisteme de monitorizare si control n industrie
retele de comunicare
sisteme software distribuite
etc...
RPA (2016)
Curs 1
8 / 51
Modelarea si verificarea sistemelor
Verificarea sistemelor: are drept scop verificarea unor proprietati

dezirabile, nca din stadiul de proiectare
Un model surprinde caracteristici esentiale ale sistemului
Metode (formale) pentru modelarea si verificarea sistemelor:
automate/sisteme tranzitionale
algebre de procese
logici temporale
retele Petri
etc...
RPA (2016)
Curs 1
9 / 51
Retele Petri
Carl Adam Petri, 1962
grafuri bipartite
reprezentare explicita starilor si evenimentelor dintr-un sistem
reprezentare grafica intuitiva
semantica formala
expresivitate (concurenta, nedeterminism, comunicare,sincronizare)
existenta metodelor de analiza a proprietatilor
numeroase unelte software pentru editarea/verificarea proprietatilor
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Retele Petri
grafuri bipartite
semantica formala
retelelor Petri
RPA (2016)
Curs 1
10 / 51
Aplicatii
Protocoale de comunicare, retele

Sisteme software si hardware
Algoritmi distribuiti
Protocoale de securitate
Sisteme/procese din domenii precum: biologie, chimie, medicina
Domeniul economic (fluxuri de lucru)
etc..
RPA (2016)
Curs 1
11 / 51
Structura cursului
1
Informatii curs
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate

RPA (2016)
Curs 1
12 / 51
Retele Petri - Definitie

Definitie 1
O retea Petri este un 4-uplu N = (P, T, F, W ) astfel ncat :
1
P multime de locatii, T multime de tranzitii, P T = ;
F (P T ) (T P ) relatia de flux (multimea arcelor);
W : (P T ) (T P ) N ponderea arcelor
(W (x, y) = 0 ddaca (x, y) 6 F ).
RPA (2016)
Curs 1
13 / 51

Definitie 1
O retea Petri este un 4-uplu N = (P, T, F, W ) astfel ncat :
1
P multime de locatii, T multime de tranzitii, P T = ;
F (P T ) (T P ) relatia de flux (multimea arcelor);
W : (P T ) (T P ) N ponderea arcelor
(W (x, y) = 0 ddaca (x, y) 6 F ).
P = {p1 , p2 , p3 }
p1
T = {t1 , t2 , t3 }
t1
p2
F = {(p1 , t1 ), (t1 , p2 ), (t1 , p3 ),

(p3 , t3 ), (t3 , p1 ), (p2 , t2 )}
W (p1 , t1 ) = 1, W (t1 , p2 ) = 1,
W (t1 , p3 ) = 1, W (p3 , t3 ) = 1,
t3
p3
t2
W (t3 , p1 ) = 1, W (p2 , t2 ) = 2
RPA (2016)
Curs 1
13 / 51

Daca x P T , atunci:
- Premultimea lui x (sau multimea elementelor input pentru x):
x = {y|(y, x) F };
- Postmultimea lui x (sau multimea elementelor output pentru x):
x = {y|(x, y) F } .
RPA (2016)
Curs 1
14 / 51

x = {y|(y, x) F };
x = {y|(x, y) F } .
Definitie 2
O retea este pura daca, pentru orice x P T , x x = .
RPA (2016)
Curs 1
14 / 51

x = {y|(y, x) F };
x = {y|(x, y) F } .
Definitie 2
O retea este pura daca, pentru orice x P T , x x = .
Definitie 3
O retea este fara elemente izolate, daca, pentru orice x P T ,
x x =
6
RPA (2016)
Curs 1
14 / 51
Marcarea unei retele Petri

Definitie 4 (Marcare, retele marcate)
Fie N = (P, T, F, W ) o retea Petri. O marcare a lui N este o functie
M : P N.
Fie N = (P, T, F, W ) o retea Petri si M0 : P N. Atunci (N, M0 )
se numeste retea Petri marcata.
p1
t1
p2
t3
p3
t2
M = (1, 0, 0)
Distributia punctelor n locatiile unei retele = marcarea retelei (starea sistemului modelat)
RPA (2016)
Curs 1
15 / 51
Retele Petri
Tranzitii: reprezinta actiuni sau evenimente din sistemul modelat
Locatiile input (pentru o tranzitie): parametri, tipuri de resurse
necesare producerii unei actiuni, preconditii pentru producerea unui
eveniment
Punctele din locatii: pot modela resurse/valori booleene
Ponderea unui arc input (al unei tranzitii): cate resurse de un anumit
tip sunt necesare producerii actiunii
Ponderea unui arc output (al unei tranzitii): numarul de resurse de un
anumit tip rezultate prin producerea actiunii
RPA (2016)
Curs 1
16 / 51
Exemplu
Sistem producator consumator:
Producatorul (P), daca este activ, poate produce cate un produs
(ntr-un buffer);
Dupa ce P produce, trece ntr-o stare de repaus; din aceasta stare,
poate redeveni activ;
Un consumator (C) preia cate doua produse din buffer;
Evenimente n sistem: P produce un produs, C consuma produse, P
redevine activ
RPA (2016)
Curs 1
17 / 51
Exemplu
Sistem producator consumator:
Producatorul (P), daca este activ, poate produce cate un produs
(ntr-un buffer);
Dupa ce P produce, trece ntr-o stare de repaus; din aceasta stare,
poate redeveni activ;
Un consumator (C) preia cate doua produse din buffer;
Evenimente n sistem: P produce un produs, C consuma produse, P
redevine activ
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
RPA (2016)
p3
producator
in repaus
Curs 1
t2
17 / 51
Regula de producere a tranzitiilor

Definitie 5
Fie N = (P, T, F, W ) o retea Petri, M o marcare a lui N si t T o
tranzitie a lui N .
RPA (2016)
Curs 1
18 / 51

Definitie 5
tranzitie a lui N .
Tranzitia t este posibila la marcarea M (M [tiN ) daca
W (p, t) M (p), pentru orice p t.
RPA (2016)
Curs 1
18 / 51

Definitie 5
tranzitie a lui N .
Tranzitia t este posibila la marcarea M (M [tiN ) daca
W (p, t) M (p), pentru orice p t.
Daca t este posibila la marcarea M , atunci t se poate produce,
rezultand o noua marcare M (M [tiN M ), unde
M (p) = M (p) W (p, t) + W (t, p),
pentru toti p P .
RPA (2016)
Curs 1
18 / 51
Exemplu
o tanzitie este posibila daca locatiile input contin suficiente puncte:

p3
t1
t3
p5
p1
3
p2
2
t2
RPA (2016)
p4
Curs 1
19 / 51
Exemplu

p3
t1
t3
p5
p1
3
p2
2
t2
RPA (2016)
p4
Curs 1
19 / 51
Exemplu

p3
t1
t3
p5
p1
3
p2
2
t2
p4
Producerea unei tranzitii modifica marcarea retelei
RPA (2016)
Curs 1
19 / 51
Exemplu I
Model producator consumator:

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu I

producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
RPA (2016)
t2
Curs 1
20 / 51
Exemplu II
Automat care furnizeaza produse

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Exemplu II

A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
RPA (2016)
monezi
acceptate
monezi
introduse
A accepta
moneda
Curs 1
21 / 51
Secvente de aparitie a tranzitiilor

Extinderea regulii de producere a unei tranzitii la secvente de tranzitii
Fie secventa u T , t T si marcarea M .
secventa vida de tranzitii este secventa de tranzitii posibila la M si
M [iM ;
daca u este secventa de tranzitii posibila la M , M [uiM si M [tiM ,
atunci ut este secventa de tranzitii posibila la M si M [utiM .
RPA (2016)
Curs 1
22 / 51
Secvente de aparitie a tranzitiilor

Extinderea regulii de producere a unei tranzitii la secvente de tranzitii
Fie secventa u T , t T si marcarea M .
secventa vida de tranzitii este secventa de tranzitii posibila la M si
M [iM ;
daca u este secventa de tranzitii posibila la M , M [uiM si M [tiM ,
atunci ut este secventa de tranzitii posibila la M si M [utiM .
Daca T si M [i, se mai numeste secventa de aparitie

(posibila) din M .
Daca exista T astfel ncat M [iM , se mai noteaza M [iM
RPA (2016)
Curs 1
22 / 51
Notatii
Fie = (N, M0 ) o retea Petri marcata . Se definesc urmatoarele functii:
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)
Daca T este o secventa de tranzitii, se defineste : P Z:
Daca = , atunci este functia identic 0.
P
Daca = t1 , . . . , tn , atunci = ni=1 ti .
RPA (2016)
Curs 1
23 / 51
Secvente de aparitie
p2
t
1 (p1 ) = 2, t1 (p2 ) = 1, t1 (p3 ) = 0
3
p1
p3
2
+
+
t+
1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1

t1
RPA (2016)
Curs 1
24 / 51
Secvente de aparitie
p2
t
1 (p1 ) = 2, t1 (p2 ) = 1, t1 (p3 ) = 0
3
p1
p3
2
+
+
t+
1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1

t1
Propozitie 1
Fie t o tranzitie, T si M, M marcari.
Daca M [tiM , atunci M = M + t.
Daca M [iM , atunci M = M +
RPA (2016)
Curs 1
24 / 51
Marcari accesibile
Definitie 6
Fie = (N, M0 ) o retea Petri marcata. O marcare M este accesibila din
marcarea M , daca exista o secventa finita de aparitie astfel ncat:
M [iM .
RPA (2016)
Curs 1
25 / 51
Marcari accesibile
Definitie 6
M [iM .
Multimea marcarilor accesibile dintr-o marcare M , n , se noteaza
[M i
RPA (2016)
Curs 1
25 / 51
Marcari accesibile
Definitie 6
M [iM .
[M i
Definitie 7
Marcarea M este accesibila n , daca M este accesibila din marcarea
initiala M0 .
RPA (2016)
Curs 1
25 / 51
Marcari accesibile
Definitie 6
M [iM .
[M i
Definitie 7
Marcarea M este accesibila n , daca M este accesibila din marcarea
initiala M0 .
Multimea marcarilor accesibile n se noteaza [M0 i
RPA (2016)
Curs 1
25 / 51
Proprietati pentru secvente de aparitie

Propozitie 2
Fie M o marcare si o secventa finita de aparitie, astfel ncat M [iM .
Daca este o secventa de aparitie (finita sau infinita) posibila la
marcarea M , atunci este secventa de aparitie posibila la M .
RPA (2016)
Curs 1
26 / 51

Propozitie 2
Fie M o marcare si o secventa finita de aparitie, astfel ncat M [iM .
Daca este o secventa de aparitie (finita sau infinita) posibila la
marcarea M , atunci este secventa de aparitie posibila la M .
Propozitie 3
O secventa infinita de aparitie este posibila la o marcare M ddaca orice
prefix finit al lui este posibil la M .
RPA (2016)
Curs 1
26 / 51

Propozitie 4
Fie M , M si L marcari, T o secventa de tranzitii, posibila la M .
Daca finita si M [iM , atunci (M + L)[i(M + L).
Daca infinita si M [i, atunci (M + L)[i
Demonstratie:
finit
a: inductie dup
a || = n.
infinit
a: se arat
a c
a orice prefix finit al lui este posibil la M + L.
M = (2, 1, 1, 0)[t1 t2 i(1, 0, 1, 2) = M

(3, 2, 2, 0)[t1 t2 i?
RPA (2016)
Curs 1
27 / 51

Definitie 8
Fie M si M doua marcari.
M M ddaca M (p) M (p), p P .
M > M ddaca M M si p P : M (p) > M (p).
RPA (2016)
Curs 1
28 / 51

Definitie 8
Fie M si M doua marcari.
M M ddaca M (p) M (p), p P .
M > M ddaca M M si p P : M (p) > M (p).
Propozitie 5
Fie M si M doua marcari astfel ncat M M . Atunci orice secventa de
tranzitii posibila la marcarea M este posibila si la marcarea M .
RPA (2016)
Curs 1
28 / 51

Notatie
Daca T si U T , |U este secventa de tranzitii obtinuta din ,
pastrand doar acele tranzitii care sunt n U
Lema 3.1
Fie N o retea oarecare, U, V T astfel ncat V U = . Daca
(U V ) astfel ncat M [iM , atunci M [|U |V iM .
RPA (2016)
Curs 1
29 / 51
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1
t1
p2
t2
p3
t3
p4
t4
p5
RPA (2016)
Curs 1
30 / 51
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1
t1
p2
t2
p3
t3
p4
t4
p5
RPA (2016)
Curs 1
30 / 51
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1
t1
p2
t2
p3
t3
p4
t4
p5
RPA (2016)
Curs 1
30 / 51
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1
t1
p2
t2
p3
t3
p4
t4
p5
RPA (2016)
Curs 1
30 / 51
Exemplu
U = {t1 , t2 }, V = {t3 , t4 } M = (0, 1, 0, 1, 0)
p1
t1
p2
t2
p3
t3
p4
t4
p5
RPA (2016)
Curs 1
30 / 51
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 i(0, 0, 2, 0, 2) = M
M [t2 t1 t4 t3 t4 iM
RPA (2016)
Curs 1
30 / 51
Propriet
ati comportamentale
Structura cursului
1
Informatii curs
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate

RPA (2016)
Curs 1
31 / 51
Propriet
ati comportamentale
M
arginire
Proprietatea de marginire
Definitie 9 (marginire)
Fie = (M, M0 ) o retea Petri marcata.
O locatie p este marginita daca:
( n N)(M [M0 i)( M (p) n)
RPA (2016)
Curs 1
32 / 51
Propriet
ati comportamentale
M
arginire
Proprietatea de marginire
Definitie 9 (marginire)
Fie = (M, M0 ) o retea Petri marcata.
O locatie p este marginita daca:
( n N)(M [M0 i)( M (p) n)
Reteaua marcata este marginita daca orice locatie p P este

marginita.
RPA (2016)
Curs 1
32 / 51
Propriet
ati comportamentale
M
arginire
Marginire-exemple
p1
t1
t2
p2
RPA (2016)
Curs 1
33 / 51
Propriet
ati comportamentale
M
arginire
Marginire-exemple
p1
t1
reteaua este m
arginit
a: M (p) 1, p P
t2
p2
RPA (2016)
Curs 1
33 / 51
Propriet
ati comportamentale
M
arginire
Marginire-exemple
p1
t1
reteaua este m
arginit
a: M (p) 1, p P
p2
t2
p1
t1
t2
p2
p3
RPA (2016)
Curs 1
33 / 51
Propriet
ati comportamentale
M
arginire
Marginire-exemple
p1
t1
reteaua este m
arginit
a: M (p) 1, p P
p2
t2
p1
reteaua este nem

arginit
a:
t1
t2
p2
p2 poate contine o infinitate de puncte!
p3
RPA (2016)
Curs 1
33 / 51
Propriet
ati comportamentale
M
arginire
Proprietati
Propozitie 6
O retea Petri marcata = (N, M0 ) este marginita ddaca multimea [M0 i
este finita.
RPA (2016)
Curs 1
34 / 51
Propriet
ati comportamentale
M
arginire
Proprietati
Propozitie 6
este finita.
(=) Fie n astfel nc
at (M [M0 i)(p P )(M (p) n). Num
arul maxim de marc
ari este
(n + 1)|P | .
(=) Se consider
a n = max{M (p)|M [M0 i, p P }.
RPA (2016)
Curs 1
34 / 51
Propriet
ati comportamentale
M
arginire
Proprietati
Propozitie 6
este finita.
Propozitie 7
Daca = (N, M0 ) este marginita, nu exista doua marcari M1 , M2 [M0 i
astfel ncat M1 [iM2 si M2 > M1 .
RPA (2016)
Curs 1
34 / 51
Propriet
ati comportamentale
M
arginire
Proprietati
Propozitie 6
este finita.
Propozitie 7
Daca = (N, M0 ) este marginita, nu exista doua marcari M1 , M2 [M0 i
astfel ncat M1 [iM2 si M2 > M1 .
Dac
a M1 [iM2 si M2 > M1 = M2 [iM3 (prop. 5) si M3 > M2 . Deci M3 [iM4 ,
M4 > M3 , etc.
RPA (2016)
Curs 1
34 / 51
Propriet
ati comportamentale
Pseudo-viabilitate
Definitie pseudo-viabilitate
Definitie 10 (pseudo-viabilitate)
Fie = (N, M0 ) o retea Petri marcata.
O tranzitie t T este pseudo-viabila din marcarea M , daca exista o
marcare M [M i astfel ncat M [ti.
O tranzitie t T este pseudo-viabila daca este pseudo-vaibila din M0
(exista o marcare accesibila M [M0 i astfel ncat M [ti). O tranzitie
care nu este pseudo-viabila se numeste moarta.
Reteaua marcata este pseudo-viabila daca toate tranzitiile sale sunt
pseudo-viabile.
RPA (2016)
Curs 1
35 / 51
Propriet
ati comportamentale
Pseudo-viabilitate
Exemple
RPA (2016)
Curs 1
36 / 51
Propriet
ati comportamentale
Pseudo-viabilitate
Exemple
t1 este tranzitie moarta

t2 pseudo-viabila
t3 este tranzitie moarta
t4 pseudo-viabila
RPA (2016)
Curs 1
36 / 51
Propriet
ati comportamentale
Blocaje
Proprietati: blocaje
Definitie 11 (blocaje)
O marcare M a retelei marcate este moarta daca nu exista o
tranzitie t T astfel ncat M [ti.
Reteaua este fara blocaje, daca nu exista marcari accesibile moarte.
RPA (2016)
Curs 1
37 / 51
Propriet
ati comportamentale
Blocaje
Exemple
RPA (2016)
Curs 1
38 / 51
Propriet
ati comportamentale
Blocaje
Exemple
Marcarea (0,0,0,0,1) este moarta, deci reteaua are blocaje.
RPA (2016)
Curs 1
38 / 51
Propriet
ati comportamentale
Viabilitate
Proprietati: viabilitate
Definitie 12 (viabilitate)
Fie N = (P, T, F, W ) o retea de tip Petri si = (N, M0 ) o retea Petri
marcata.
O tranzitie t T este viabila daca M [M0 i, t este pseudo-viabila
din M (M [M i astfel ncat M [ti).
Reteaua marcata este viabila daca orice tranzitie t T este viabila.
RPA (2016)
Curs 1
39 / 51
Propriet
ati comportamentale
Viabilitate
Exemple
p1
p2
t1
2
2
t3
p3
t2
Retea pseudo-viabila, viabila si fara blocaje.
RPA (2016)
Curs 1
40 / 51
Propriet
ati comportamentale
Viabilitate
Exemplu
RPA (2016)
Curs 1
41 / 51
Propriet
ati comportamentale
Viabilitate
Exemplu
t1 ,t2 ,t3 : nu sunt viabile

t4 ,t5 : viabile
reteaua este pseudo-viabila
RPA (2016)
Curs 1
41 / 51
Propriet
ati comportamentale
Reversibilitate
Marcari acasa
Definitie 13
Fie = (N, M0 ) o retea marcata si H marcare a sa. H este marcare
acasa daca pentru orice M [M0 i, H [M i.
RPA (2016)
Curs 1
42 / 51
Propriet
ati comportamentale
Reversibilitate
Marcari acasa
Definitie 13
Fie = (N, M0 ) o retea marcata si H marcare a sa. H este marcare
acasa daca pentru orice M [M0 i, H [M i.
M = (0, 0, 1, 0) marcare acasa
RPA (2016)
Curs 1
42 / 51
Propriet
ati comportamentale
Reversibilitate
Reversibilitate
Definitie 14
Reteaua marcata este reversibila daca marcarea sa initiala este marcare
acasa.
RPA (2016)
Curs 1
43 / 51
Propriet
ati comportamentale
Reversibilitate
Reversibilitate
Definitie 14
acasa.
RPA (2016)
Curs 1
43 / 51
Propriet
ati comportamentale
Reversibilitate
Reversibilitate
Definitie 14
acasa.
p1
p2
t1
2
2
t3
p3
t2
Propozitie 8
O retea este reversibila ddaca orice marcare accesibila este marcare acasa.
RPA (2016)
Curs 1
43 / 51
Leg
atura dintre propriet
ati n retele Petri
Structura cursului
1
Informatii curs
Marginire
Pseudo-viabilitate
Blocaje
Viabilitate
Reversibilitate

RPA (2016)
Curs 1
44 / 51
Leg
ati n retele Petri
Proprietati n retele viabile

Propozitie 9
Orice retea marcata viabila este si pseudo-viabila.
RPA (2016)
Curs 1
45 / 51
Leg
ati n retele Petri

Propozitie 9
Propozitie 10
Orice retea marcata viabila, avand cel putin o tranzitie, este fara blocaje.
RPA (2016)
Curs 1
45 / 51
Leg
ati n retele Petri

Propozitie 9
Propozitie 10
Orice retea marcata viabila, avand cel putin o tranzitie, este fara blocaje.
Propozitie 11
Daca o retea fara locatii izolate este viabila, atunci orice locatie poate fi
marcata, din orice marcare accesibila.
RPA (2016)
Curs 1
45 / 51
Leg
ati n retele Petri
retea pseudoviabila, fara blocaje

nu este viabila
RPA (2016)
Curs 1
46 / 51
Leg
ati n retele Petri
Proprietati n retele reversibile

Propozitie 12
O retea marcata reversibila este viabila ddaca este pseudo-viabila.
RPA (2016)
Curs 1
47 / 51
Leg
ati n retele Petri
Proprietati n retele reversibile

Propozitie 12
O retea marcata reversibila este viabila ddaca este pseudo-viabila.
Propozitie 13
O retea marcata reversibila este fara blocaje.
RPA (2016)
Curs 1
47 / 51
Leg
ati n retele Petri
Exemplu
p1
t1
t2
p2
p3
Retea viabila, care nu este reversibila:

(1, 0, 0, )[t1 i(0, 1, 1)[t2 i(1, 1, 0)[t3 i.
Marcarea initiala (1, 0, 0) nu este accesibila din (1, 1, 0).
RPA (2016)
Curs 1
48 / 51
Leg
ati n retele Petri
Exemplu
retea fara blocaje, nu este reversibila
RPA (2016)
Curs 1
49 / 51
Leg
ati n retele Petri
Marginire si viabilitate
retea marginita, neviabila
p1
t1
t2
retea nemarginita,
viabila
p2
p3
retea nemarginita,
neviabila
RPA (2016)
Curs 1
50 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
RPA (2016)
t3
t4
t5
p4
p5
Curs 1
51 / 51
Leg
ati n retele Petri
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Retea nemarginita (locatia p4 ), neviabila (M = (0, 0, 0, 2, 1) si t1 )
RPA (2016)
Curs 1
51 / 51

Curs1 PDF

Î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

Curs1 PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Retele Petri si Aplicatii

Retele Petri - introducere

Definitia retelelor Petri

Legatura dintre proprietati n retele Petri

Retele Petri - introducere

Definitia retelelor Petri

Legatura dintre proprietati n retele Petri

Titular curs: lect. Dr. Oana Captarencu

Conditii minimale: LSA 4, T 1 + T 2 7

Retele Petri - introducere

Retele Petri - introducere

Definitia retelelor Petri

Legatura dintre proprietati n retele Petri

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Modelarea si verificarea sistemelor

Verificarea sistemelor: are drept scop verificarea unor proprietati

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Retele Petri - introducere

Protocoale de comunicare, retele

Definitia retelelor Petri

Retele Petri - introducere

Definitia retelelor Petri

Legatura dintre proprietati n retele Petri

Definitia retelelor Petri

Retele Petri - Definitie

P multime de locatii, T multime de tranzitii, P T = ;

F (P T ) (T P ) relatia de flux (multimea arcelor);

Definitia retelelor Petri

Retele Petri - Definitie

P multime de locatii, T multime de tranzitii, P T = ;

F (P T ) (T P ) relatia de flux (multimea arcelor);

F = {(p1 , t1 ), (t1 , p2 ), (t1 , p3 ),

Definitia retelelor Petri

Retele Petri - Definitie

Definitia retelelor Petri

Retele Petri - Definitie

Definitia retelelor Petri

Retele Petri - Definitie

Definitia retelelor Petri

Marcarea unei retele Petri

Definitia retelelor Petri

Definitia retelelor Petri

Definitia retelelor Petri

Definitia retelelor Petri

Regula de producere a tranzitiilor

Definitia retelelor Petri

Regula de producere a tranzitiilor

Definitia retelelor Petri

Regula de producere a tranzitiilor

Definitia retelelor Petri

o tanzitie este posibila daca locatiile input contin suficiente puncte:

Definitia retelelor Petri