Curs 1

Retele Petri si Aplicatii
Asist. Dr. Oana Prisecaru
http://www.infoiasi.ro/otto/pn.html
otto@infoiasi.ro
Retele Petri si Aplicatii p. 1/4
Evaluare
Nota finala: 30% TS1 + 30% TS2 + 40%LSA
TS1, TS2 - teste scrise
Activitate laborator/seminar (LSA):
scrise (40%), 2 teme laborator (30%)
2 lucrari
activitatea n timpul seminarului (rezolvare
probleme, prezentare referat)
Conditii minimale: LSA 5, T S1 + T S2 10
minim 5.
Nota finala:
Retele Petri
folosita
Retele Petri: o metoda formala (matematica)
pentru modelarea s i verificarea sistemelor
(concurente/distribuite)
Retele Petri
folosita
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)
Retele Petri
folosita
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 s i stari
comunicare, asincronism
concurenta,
Retele Petri
Exemple de sisteme:
retele de comunicare
sisteme automatizate de productie
sisteme de control al traficului aerian
sisteme de monitorizare si control in industrie
sisteme software distribuite
etc...
Modelarea si verificarea sistemelor

Verificarea sistemelor reale: are drept scop verificarea
ti dezirabile, nca din stadiul de
unor proprieta
proiectare
Un model surprinde caracteristici esentiale ale
sistemului
Metode formale de modelare s i verificare a sistemelor:
automate/sisteme tranzitionale
algebre de procese
logici temporale
retele Petri
etc...
Retele Petri pentru modelarea sistemelor

Retele Petri:
Carl Adam Petri, 1962

Retele Petri:
grafuri bipartite

Retele Petri:
grafuri bipartite
reprezentare explicita starilor

s i evenimentelor dintr-un
sistem

Retele Petri:
grafuri bipartite

sistem
reprezentare grafica intuitiva

Retele Petri:
grafuri bipartite

sistem
semantica formala

Retele Petri:
grafuri bipartite

sistem
semantica formala
nedeterminism, comunicare,
expresivitate (concurenta,
asincronism)

Retele Petri:
grafuri bipartite

sistem
semantica formala
asincronism)
tilor
existenta metodelor de analiza a proprieta

Retele Petri:
grafuri bipartite

sistem
semantica formala
asincronism)
tilor
existenta metodelor de analiza a proprieta
numeroase unelte software pentru editarea/verificarea
tilor retelelor Petri
proprieta
Retele Petri
Domenii de aplicabilitate:
Protocoale de comunicare, retele
Sisteme software si hardware
Algoritmi distribuiti
Protocoale de securitate
Biologie, Chimie, Medicina
Economie (fluxuri de lucru)
etc..
Retele de tip P/T

Definitie
Regula de producere a tranzitiilor (comportament)
ti
Proprieta
concurenta,
conflict
Situatii fundamentale: secventa,
Retele de tip P/T - Definitie

Definitie 1 O retea Petri este un 4-uplu N = (P, T, F, W )
astfel nct :
1. P multime de locatii, T multime de tranzitii, P T = ;
2. F (P T ) (T P ) relatia de flux;
3. W : (P T ) (T P ) N ponderea arcelor
(W (x, y) = 0 ddaca (x, y) 6 F ).
P = {p1 , p2 , p3 }
T = {t1 , t2 , t3 }
p1
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 ) = 1
Retele de tip P/T

Daca x P T , atunci:
- Premultimea lui x: x = {y|(y, x) F };
- Postmultimea 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 }
Retele de tip P/T

pentru orice
Definitie 2 O retea este pura daca,
x P T , x x = .
2
p1
t1
p2
t2
a elemente izolate, daca,
Definitie 3 O retea este far

pentru orice x P T , x x 6=
Marcare a unei retele de tip P/T

p1
t1
p2
t3
p3
t2
M = (1, 0, 0)
Distributia punctelor in locatiile unei retele = marcarea

retelei (starea sistemului modelat)
Definitie 4 (Marcare, retele marcate)
Fie N = (P, T, F, W ) o retea P/T. O marcare a lui N
este o functie M : P N.
Fie N = (P, T, F, W ) o retea P/T s i M0 : P N. Atunci
(N, M0 ) se numeste retea Petri marcata.
Retele Petri
Tranzitii: reprezinta actiuni sau evenimente din
sistemul modelat
Locatiile input: contin resurse (reprezentate de
punctele din locatie) care vor fi folosite de catre

actiune, preconditii pentru producerea unui eveniment
Ponderea unui arc input: cte resurse de un anumit tip
sunt necesare producerii actiunii
Locatii output: rezultatul produs de o actiune
Exemplu
Model producator consumator:
Producatorul poate produce cte un produs, pe care l
poate pune ntr-un buffer
Un consumator preia cte doua produse din buffer
producator:
sa
Stari
producator
activ (pregatit
producator
produca),
n repaus. Resurse: produsele
Evenimente: se pune un produs in buffer, se consuma
produse, producatorul
redevine activ
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Regula de producere a tranzitiilor

Fie N = (P, T, F, W ) o retea Petri, M o marcare a lui N s i
t T o tranzitie a lui N .

Tranzitia t este posibila la marcarea M (M [tiN ) daca
W (p, t) M (p), pentru orice p P .

Tranzitia t este posibila la marcarea M (M [tiN ) daca
W (p, t) M (p), pentru orice p P .
Daca t este posibila la marcarea M , atunci t se poate
produce, rezultnd o noua marcare M 0 (M [tiN M 0 ),
unde M 0 (p) = M (p) W (p, t) + W (t, p), pentru toti
p P.
Exemplu
o tanzitie este posibila daca locatiile input contin
suficiente puncte:
2
p3
t1
t3
p5
p1
3
p2
2
t2
p4
Exemplu
suficiente puncte:
2
p3
t1
t3
p5
p1
3
p2
2
t2
p4
Exemplu
suficiente puncte:
2
p3
t1
t3
p5
p1
3
p2
2
t2
p4
Producerea unei tranzitii modifica marcarea retelei
Exemplu I
Model producator
consumator:
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu I
Model producator
consumator:
producator activ
p1
produce
t1
p2
buffer
2
consuma
t3
revine
p3
producator
in repaus
t2
Exemplu II
Automat care furnizeaza produse
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Exemplu II
A repaus
produse
C introduce
moneda
A respinge moneda
reincarca
ofera
produs
produse
consumate
monezi
acceptate
monezi
introduse
A accepta
moneda
Secvente de aparitie a tranzitiilor

Regula de producere a tranzitiilor se poate extinde la
secvente de tranzitii:
Definitie 5 (secvente de aparitie)
Fie = t1 t2 . . . tk T s i M o marcare. se numeste secventa
finita de aparitie, posibila la M, daca exista marcarile

M1 , M2 , . . . , Mk astfel nct:
M [t1 iM2 [t2 iM3 . . . Mk1 [tk iMk
M [iMk .
Se mai noteaza:
Secventa vida de tranzitii, notata cu , este secventa de aparitie
posibila la orice marcare M a retelei, s i are loc: M [iM .
O secventa infinita de tranzitii = t1 , t2 , . . . este secventa infinita
M [t1 iM2 [t2 iM3 . . ..
de aparitie, posibila la marcarea M , daca:
Notatii
Fie = (N, M0 ) o retea P/T 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 funtia identic 0.
Pn
Daca = t1 , . . . , tn , atunci = i=1 ti .
Secvente de aparitie
p2
t
(p
)
=
2,
t
(p
)
=
1,
t
1
2
1
1
1 (p3 ) = 0
+
+
t+
1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
3
p1
p3
2
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1
t1
Secvente de aparitie
p2
t
(p
)
=
2,
t
(p
)
=
1,
t
1
2
1
1
1 (p3 ) = 0
+
+
t+
1 (p1 ) = 1, t1 (p2 ) = 3, t1 (p3 ) = 1
3
p1
p3
2
t1 (p1 ) = 1, t1 (p2 ) = 2, t1 (p3 ) = 1
t1
Propozitie 2 Fie t o tranzitie, T s i M, M 0 marcari.

Daca M [tiM 0 , atunci M 0 = M + t.
Daca M [iM 0 , atunci M 0 = M +
Marcari accesibile
Definitie 6 Fie = (N, M0 ) o retea P/T marcata.

O marcare M 0 este accesibila din marcarea M , daca
exista o secventa finita de aparitie astfel nct:
M [iM 0 .
Marcari accesibile

M [iM 0 .
Marcarea M este accesibila n , daca M este
accesibila din marcarea initiala M0 .
Marcari accesibile

M [iM 0 .
Multimea marcarilor
accesibile dintr-o marcare M , n ,
se noteaza [M i ([M i cnd este clar despre ce retea
este vorba).
Marcari accesibile

M [iM 0 .
Multimea marcarilor
accesibile dintr-o marcare M , n ,
se noteaza [M i ([M i cnd este clar despre ce retea
este vorba).
[M0 i se numeste multimea marcarilor

accesibile n
reteaua .
Proprietati pentru secvente de aparitie

Propozitie 3 Fie M o marcare s i o secventu a finita
de aparitie, astfel nct M [iM 0 . Daca 0 este o
posibila la
secventa de aparitie (finita sau infinita)
marcarea M 0 , atunci 0 este secventa de aparitie
posibila la M .

posibila la
posibila la M .
Propozitie 4 O secventa infinita de aparitie este
posibila la o marcare M ddaca orice prefix finit al lui
este posibil la M .

posibila la
posibila la M .
Propozitie 4 O secventa infinita de aparitie este
posibila la o marcare M ddaca orice prefix finit al lui
este posibil la M .
o secventa de
Propozitie 5 Fie M s i M marcari,
aparitie posibila att la M ct s i la M , astfel nct:
0
0
M [iM s i M [iM . Atunci
0
0
M (p) M (p) = M (p) M (p), pentru orice locatie
p P.

T o secventa
Propozitie 6 Fie M , M 0 s i L marcari,
finita de tranzitii, posibila la M .
Daca finita s i M [iM 0 , atunci (M + L)[i(M 0 + L).
Daca infinita s i M [i, atunci (M + L)[i
Demonstratie: Inductie dupa || = n:
|| = 0: = = M 0 = M, (M + L)[i(M 0 + L).
Fie || = n + 1, = t. Daca M [ tiM 0 , atunci exista marcarea M 00
M [ iM 00 [tiM 0 .
Are loc: (M + L)[ i(M 00 + L). t este posibila la M 00 , atunci t este posibila la
(M 00 + L). Deci (M + L)[ i(M 00 + L)[tiM.
este secventa de aparitie de la (M + L).
M (p) = (M 00 + L)(p) + W (t, p) W (p, t).
M 00 [tiM 0 = M 0 (p) = M 00 (p) + W (t, p) W (p, t). Deci
M (p) = M 00 (p) + L(p) + W (t, p) W (p, t)= M 0 (p) + L(p)=(M 0 + L)(p), pentru
orice p P . Deci M = M 0 + L s i (M + L)[i(M 0 + L).

astfel nct
Propozitie 7 Fie M s i M 0 doua marcari
M 0 (p) M (p), p P . Atunci orice secventa de aparitie
posibila la marcarea M 0 este posibila s i la marcarea M .
M 0 M = L marcare astfel nct M 0 = M + L
M [i = M 0 = (M + L)[i
infinita:
M [iM s i M 0 = (M + L)[i(M + L)
finita:

Lema 1 Fie N o retea oarecare, U, V T astfel nct
V U = . Daca (U V ) astfel nct M [iM 0 ,
atunci M [|U |V iM 0 .
t1
t1
!!!
p
t2
t1 V s i t2 U .
t1 t2 =
M [t1 t2 iM 0 , atunci:
M [t2 t1 iM 0
t2

Lema 1 Fie N o retea oarecare, U, V T astfel nct
V U = . Daca (U V ) astfel nct M [iM 0 ,
atunci M [|U |V iM 0 .
Demonstratie:
Fie N o retea oarecare, t1 , t2 T astfel nct t1 V s i t2 U . Deci t1 t2 = . Se
arata ca M [t1 iM2 [t2 iM 0 , atunci M [t2 iM20 [t1 iM 0
Se arata ca M [t2 i (adica p t2 : W (p, t2 ) M (p)).
Se s tie ca M [t1 iM2 [t2 iM 0 . M2 [t2 i deci W (p, t2 ) M2 (p). Dar
M2 (p) = M (p) W (p, t1 ) + W (t1 , p).
p t2 = p 6 t1 = W (t1 , p) = 0. Deci
W (p, t2 ) M (p) W (p, t1 ) + 0 M (p)().
Fie M [t2 iM20 . Se arata ca M20 [t1 iM 0 .
Se arata ca t1 posibil la M20 (W (p, t1 ) M20 (p), p t1 ).
Din () =
W (p, t1 ) M (p) W (p, t2 ) M (p) W (p, t2 ) + W (t2 , p) = M20 (p). Deci
M1 [t2 iM20 [t1 iM 00 .
Se atata ca M 00 = M 0 :
M 00 = M1 + (t2 ) + (t1 ) = M1 + (t1 ) + (t2 ) = M 0 .
Proprietatea de marginire
Fie = (M, M0 ) o retea Petri marcata.
Definitie 7 (marginire)
O locatie p este marginit

a daca:
n N : M (p) n, M [M0 i

a daca:
n N : M (p) n, M [M0 i
Reteaua marcata este marginit

a daca orice locatie
p P este marginit
a.

a daca:
n N : M (p) n, M [M0 i

p P este marginit
a.
Reteaua marcata este n-marginit

a daca:
(M [M0 i)(p P )(M (p) n)

a daca:
n N : M (p) n, M [M0 i

p P este marginit
a.
Reteaua marcata este n-marginit

a daca:
(M [M0 i)(p P )(M (p) n)
daca exista o
Reteaua N este structural marginit
a,
marcare M astfel nct (N, M ) este marginit

a.
Marginire-exemple
p1
t1
t2
p2
Marginire-exemple
p1
t1
M (p) 1, p P
reteaua este marginit
a:
t2
p2
Marginire-exemple
p1
t1
M (p) 1, p P
a:
p2
t2
p1
t1
t2
p2
p3
Marginire-exemple
p1
t1
M (p) 1, p P
a:
p2
t2
p1
reteaua este nemarginit

a:
t1
t2
p2
p2 poate contine o infinitate de puncte!
p3
Propozitie 8 O retea P/T marcata = (N, M0 ) este
marginit
a ddaca multimea [M0 i este finita.
marginit
(=) Fie n astfel nct (M [M0 i)(p P )(M (p) n). Numarul
maxim de
este (n + 1)|P | .
marcari
(=) Se considera n = max{M (p)|M [M0 i, p P }.
marginit
maxim de
este (n + 1)|P | .
marcari
nu
Propozitie 9 Daca = (N, M0 ) este marginit
a,
M1 , M2 [M0 i astfel nct
exista doua marcari
M1 [iM2 s i M2 > M1 .
marginit
maxim de
este (n + 1)|P | .
marcari
nu
Propozitie 9 Daca = (N, M0 ) este marginit
a,
M1 , M2 [M0 i astfel nct
exista doua marcari
M1 [iM2 s i M2 > M1 .
Daca M1 [iM2 s i M2 > M1 = M2 [iM3 (prop. 7) s i M3 > M2 (prop. 5). Deci
M3 [iM4 , M4 > M3 , etc.
Proprietati: pseudo-viabilitate, blocaje
Fie = (N, M0 ) o retea Petri marcata.

Definitie 8 (pseudo-viabilitate)
O tranzitie t T este pseudo-viabila daca exista o
marcare accesibila M [M0 i astfel nct M [ti. O
tranzitie care nu este pseudo-viabila se numeste
moarta.
Reteaua marcata este pseudo-viabila daca toate
tranzitiile sale sunt pseudo-viabile.

Definitie 8 (pseudo-viabilitate)
O tranzitie t T este pseudo-viabila daca exista o
marcare accesibila M [M0 i astfel nct M [ti. O
tranzitie care nu este pseudo-viabila se numeste
moarta.
Reteaua marcata este pseudo-viabila daca toate
tranzitiile sale sunt pseudo-viabile.
Definitie 9 (blocaje)
O marcare M a retelei marcate este moarta daca
nu exista o tranzitie t T astfel nct M [ti.
a blocaje, daca nu exista marcari
Reteaua este far

accesibile moarte.
Exemple
p1
p3
p2
t2
t1
t3
p5
p4
Exemple
p1
p3
p2
t2
t1
t3
p5
p4
t1 este tranzitie moarta

tranzitia t2 este
Marcarea (0, 1, 0, 0, 0) nu este moarta:
posibila (deci nici t2 nu este moarta).
Exemple
p1
p3
p2
t2
t1
t3
p5
p4
Exemple
p1
p3
p2
t2
t1
t3
p5
p4
deci reteaua are

Marcarea (0,0,0,1,0) este moarta,
blocaje.
Tranzitia t3 este moarta.
Proprietati: viabilitate, reversibilitate

Fie N = (P, T, F, W ) o retea de tip P/T s i = (N, M0 ) o
retea Petri marcata.


Definitie 10 (viabilitate)
O tranzitie t T este viabila daca M [M0 i,
M 0 [M i astfel nct M 0 [ti.
Reteaua marcata este viabila daca orice tranzitie
t T este viabila.
reteaua N este structural viabila daca exista o
marcare M astfel nct (N, M ) este viabila.


Definitie 10 (viabilitate)
O tranzitie t T este viabila daca M [M0 i,
M 0 [M i astfel nct M 0 [ti.
Reteaua marcata este viabila daca orice tranzitie
t T este viabila.
reteaua N este structural viabila daca exista o
marcare M astfel nct (N, M ) este viabila.

Definitie 11 Reteaua N este reversibila daca
marcarea sa initiala este accesibila din orice marcare
M [M0 iN .
Exemple
p1
t1
t2
p2
viabila,
reversibila s i far
a
Retea pseudo-viabila,
blocaje.
Proprietati ale retelelor Petri

Propozitie 10 Orice retea marcata viabila este s i
pseudo-viabila.

pseudo-viabila.
avnd cel
Propozitie 11 Orice retea marcata viabila,
a blocaje.
putin o tranzitie, este far

pseudo-viabila.
avnd cel
a blocaje.
a locatii izolate este
Propozitie 12 Daca o retea far
atunci orice locatie este marcata ntr-o anumita
viabila,
marcare accesibila.

pseudo-viabila.
avnd cel
a blocaje.
viabila,
marcare accesibila.
a
Propozitie 13 O retea marcata reversibila este far
blocaje ddaca marcarea initiala nu este moarta.

pseudo-viabila.
avnd cel
a blocaje.
viabila,
marcare accesibila.
a
Propozitie 13 O retea marcata reversibila este far
blocaje ddaca marcarea initiala nu este moarta.

Propozitie 14 O retea marcata reversibila este viabila
ddaca este pseudo-viabila.
Exemple
Q: orice retea pseudo-viabila este s i viabila?

a blocaje?
Q: orice retea pseudo-viabila este s i far
Exemple

a blocaje?
p3
p1
t1
p2
t2
p4
Exemple

a blocaje?
p3
p1
t1
p2
t2
p4
Exemple

a blocaje?
p3
p1
t1
p2
t2
p4
Retea pesudo-viabila (toate tranzitiile pseudo-viabile).
Reteaua are blocaje (marcarea (0, 0, 1, 1) este moarta).
Reteaua nu este viabila!
Exemple
care nu este reversibila:
Retea viabila,
p1
t1
t2
p3
t3
p4
p2
(1, 0, 0, 0)[t2 i(0, 1, 1, 0)[t1 i(1, 0, 1, 0)[t3 i(1, 0, 0, 1).

Marcarea initiala (1, 0, 0, 0) nu este accesibila din
(1, 0, 0, 1).
Exemple
Q: Exista o relatie ntre proprietatea de marginire

si
cea de viabilitate?
Exemple

si
cea de viabilitate?
p1
t1
t2
p2
Exemple

si
cea de viabilitate?
p1
t1
(1, 0)[t1 i[t2 i(0, 1)[t1 i[t2 i(0, 1)...
Retea marginit
a s i este viabila
t2
p2
Exemple

si
cea de viabilitate?
p1
t1
(1, 0)[t1 i[t2 i(0, 1)[t1 i[t2 i(0, 1)...
Retea marginit
a s i este viabila
p2
t2
p1
t1
t2
p2
p3
Exemple

si
cea de viabilitate?
p1
t1
(1, 0)[t1 i[t2 i(0, 1)[t1 i[t2 i(0, 1)...
Retea marginit
a s i este viabila
p2
t2
p1
t1
t2
p2
este viabila
Retea nemarginit
a,
p3
Exemple

si
cea de viabilitate?
p1
t1
(1, 0)[t1 i[t2 i(0, 1)[t1 i[t2 i(0, 1)...
Retea marginit
a s i este viabila
p2
t2
p1
t1
t2
p2
este viabila
Retea nemarginit
a,
p3
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Retea nemarginit
a (locatia p2 , neviabila (M = (0, 0, 0, 2, 1)
s i t1 )
Exemple
p3
t1
p2
p1
t2
t3
t4
t5
p4
p5
Retea nemarginit
a (locatia p2 , neviabila (M = (0, 0, 0, 2, 1)
s i t1 )
Marginire si viabilitate
a elemente izolate)
Teorema 1 Orice retea conexa (far
marginit
a s i viabila este tare conexa.
a elemente izolate)
marginit
Demonstratie: Se arata ca pentru orice (x, y) F , exista un drum de la y la x.
x
Caz 1: x P, y T .
Fie V = {t T |exista drum de la y la t} (y V )
U = {t T |nu exista drum de la y la t}
V U = .
U
a elemente izolate)
marginit
x
Caz 1: x P, y T .
V U = .
U
Reteaua marginit
a n N : M (x) n, pentru orice M [M0 i. Exista M [M0 i
(M0 [iM ) astfel nct M (x) = n. Exista M1 [M i astfel nct M [iM1 [yiM2 (reteaua
Exista M3 [M2 i astfel nct M3 [yiM4 . Exista o secventa M [iM 0 n
este viabila).
care y apare de n + 1 ori. tranzitii din U s i V (pot fi interschimbate (lema 1)
= 1 2 , 1 U , 2 V (cele n + 1 aparitii ale lui y sunt n 2 ). M [1 iM 00 [2 iM 0 .
M 00 (x) n.
M 0 (x) n, y apare de n + 1 ori n 2 , deci trebuie sa existe n 2 o tranzitie t x
(care pune la un moment dat un punct in x). Deci t V x exista drum de la y la x.
a elemente izolate)
marginit
x
Caz 1: x P, y T .
V U = .
Reteaua marginit
a n N : M (x) n, pentru orice M [M0 i. Exista M [M0 i
(M0 [iM ) astfel nct M (x) = n. Exista M1 [M i astfel nct M [iM1 [yiM2 (reteaua
Exista M3 [M2 i astfel nct M3 [yiM4 . Exista o secventa M [iM 0 n
este viabila).
care y apare de n + 1 ori. tranzitii din U s i V (pot fi interschimbate (lema 1)
= 1 2 , 1 U , 2 V (cele n + 1 aparitii ale lui y sunt n 2 ). M [1 iM 00 [2 iM 0 .
M 00 (x) n.
M 0 (x) n, y apare de n + 1 ori n 2 , deci trebuie sa existe n 2 o tranzitie t x
(care pune la un moment dat un punct in x). Deci t V x exista drum de la y la x.
Teorema 2 Fie = (N, M0 ) o retea P/T marcata viabila s i
Exista o marcare accesibila M [M0 i s i o

marginit
a.
secventa de tranzitii astfel nct
contine toate tranzitiile din T
M [iM
Demonstratie:
accesibile din .
Fie k numarul
de marcari
Exista o secventa de tranzitii 1 care contine toate tranzitiile din T astfel nct M [1 iM1 .
deci exista o secventa de tranzitii 2 care contine toate tranzitiile
(N, M1 ) este viabila,
din T astfel nct M1 [2 iM2 .
Se poate obtine secventa:
M0 [1 iM1 [2 iM2 . . . Mk1 [k Mk
identice Mi = Mj , 0 i < j k. Fie = i+1 . . . j .
Exista n s ir doua marcari
contine toate tranzitiile din N s i M [iM .
Situatii fundamentale - secventa

Tranzitii care se produc una dupa alta:
t1 s i t2 se produc n secventa daca M1 [t1 i, M1 [t2 i s i
M1 [t1 iM2 [t2 iM3 .
p1
t1
p3
2
p2
t2
p4
Situatii fundamentale - concurenta I

Fie N = (P, T, F, W ) o retea P/T. O multime de tranzitii
U T este concurent posibila la o marcare M a lui N daca:

(p P )(tU W (p, t) M (p)).


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2
W (p1 , t1 ) + W (p1 , t2 ) = 1 M (p1 )

W (p2 , t1 ) + W (p2 , t2 ) = 2 M (p2 )


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2
(1, 2, 0)[t1 i(0, 3, 1)[t2 i(0, 2, 2)


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2


(p P )(tU W (p, t) M (p)).
p1
t1
p3
p2
t2
(1, 2, 0)[t2 i(1, 1, 1)[t1 i(0, 2, 2)
Concurenta II
Propozitie 15 Daca U este o multime de tranzitii
concurent posibile la M , orice permutare a tranzitiilor din
U este o secventa de aparitie posibila la M (M [iM 0 ).
Demonstratie:
Fie U = {t1 , t2 }. Are loc: W (p, t1 ) + W (p, t2 ) M (p), p P
ca M [t1 t2 iM 0 s i M [t2 t1 iM 0 .
Se va arata
W (p, t1 ) M (p), deci M [t1 iM 00 . M 00 (p) = M (p) + W (t1 , p) W (p, t1 ).
W (p, t2 ) + W (p, t1 ) M (p) =
W (p, t2 ) M (p) W (p, t1 ) M (p) W (p, t1 ) + W (t1 , p) = M 00 (p), deci
M 00 [t2 iM 0 . M 0 = M + t1 + t2 .
W (p, t2 ) M (p), deci M [t2 iM 000 . M 000 (p) = M (p) + W (t2 , p) W (p, t2 ).
W (p, t2 ) + W (p, t1 ) M (p) =
W (p, t1 ) M (p) W (p, t2 ) M (p) W (p, t2 ) + W (t2 , p) = M 000 (p), deci
M 000 [t1 iM , unde M = M + t2 + t1 = M 0 .
Concurenta III
Q: Daca M [t1 t2 iM 0 s i M [t2 t1 iM 0 , atunci acest lucru asigura
ntotdeauna faptul ca t1 s i t2 sunt concurent posibile?
Concurenta III
t1
p2
p1
t2
p3
(1, 0, 0)[t1 i(1, 1, 0)[t2 i(1, 1, 1)

(1, 0, 0)[t2 i(1, 0, 1)[t1 i(1, 1, 1)
Concurenta III
t1
p2
p1
t2
p3
(1, 0, 0)[t1 i(1, 1, 0)[t2 i(1, 1, 1)

(1, 0, 0)[t2 i(1, 0, 1)[t1 i(1, 1, 1)
R: Nu! Acest lucru este adevarat

doar n retelele pure.

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

Retele Petri si Aplicatii

Asist. Dr. Oana Prisecaru

Retele Petri si Aplicatii p. 1/4

Retele Petri si Aplicatii p. 2/4

Retele Petri si Aplicatii p. 3/4

Retele Petri si Aplicatii p. 3/4

Retele Petri si Aplicatii p. 3/4

Retele Petri si Aplicatii p. 4/4

Modelarea si verificarea sistemelor

Retele Petri si Aplicatii p. 5/4

Retele Petri pentru modelarea sistemelor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri pentru modelarea sistemelor

reprezentare explicita starilor

Retele Petri si Aplicatii p. 6/4

Retele Petri si Aplicatii p. 7/4

Retele de tip P/T

Retele Petri si Aplicatii p. 8/4

Retele de tip P/T - Definitie

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

W (t3 , p1 ) = 1,W (p2 , t2 ) = 1

Retele Petri si Aplicatii p. 9/4

Retele de tip P/T

- t1 = {p1 }, t2 = {p2 }, t3 = {p3 }

Retele Petri si Aplicatii p. 10/4

Retele de tip P/T

a elemente izolate, daca,

Definitie 3 O retea este far

Retele Petri si Aplicatii p. 11/4

Marcare a unei retele de tip P/T

Distributia punctelor in locatiile unei retele = marcarea

(N, M0 ) se numeste retea Petri marcata.

Retele Petri si Aplicatii p. 12/4

punctele din locatie) care vor fi folosite de catre

Retele Petri si Aplicatii p. 13/4

Retele Petri si Aplicatii p. 14/4

Regula de producere a tranzitiilor

Retele Petri si Aplicatii p. 15/4

Regula de producere a tranzitiilor

Retele Petri si Aplicatii p. 15/4

Regula de producere a tranzitiilor

Retele Petri si Aplicatii p. 15/4

Retele Petri si Aplicatii p. 16/4

Retele Petri si Aplicatii p. 16/4

Producerea unei tranzitii modifica marcarea retelei

Retele Petri si Aplicatii p. 16/4