Structura cursului

S-invarian ti (continuare) T - invarian ti a re Analiza structurala telelor de tip P/T: sifoane s i capcane Clase speciale de re tele de tip P/T: ma sini cu stare grafuri marcate re tele cu alegere libera

p.

S-invarian ti: propriet a ti

s Teorema 1 Fie = (N, M0 ) o re tea P/T marcata i Daca i este un vector nenul de numere pseudo-viabila. ntregi ce verica i M = i M0 pentru orice M [M0 , atunci i este S-invariant al re telei . 1 Fie = (N, M0 ) o re s Consecin ta tea P/T marcata i s pseudo-viabila i i un vector nenul de numere ntregi. Atunci (M [M0 )(i M = i M0 ) i este S-invariant.

p.

S-invarian ti: propriet a ti

Condi tia de pseudo-viabilitate esen tiala: p1 p3 t1 1 1 C = 0 1 t2 p2 1 0 t2 nu este pseudo-viabila accesibile: M0 = (1, 0, 0), M1 = (0, 0, 1). Marcari Fie i = (1, 1, 1). i M0 = i M1 = 1. 1 1 i nu este S-invariant: (1, 1, 1) 0 1 = (0, 2). 1 0
p.

S-invarian ti: propriet a ti

N Deni tie 1 Fie N = (P, T, F, W ) o re tea P/T. Spunem ca cu S-invarian pentru ecare loca este acoperita ti daca tie un S-invariant pozitiv ip cu p Pip . p P exista p2 1 1 0 ( x, y, z ) 0 1 1 = 0 = t1 t3 2 t2 p1 0 1 1 p3 S-invarian ti de forma (0, , ) cu S-invarian Re teaua nu poate acoperita ti (nu exista i > 0 cu i(p1 ) = 0) Lema 1 Fie N = (P, T, F, W ) o re tea P/T. N este acoperita exista un S-invariant i cu Pi = P . cu S-invarian ti ddaca

p.

S-invarian ti: propriet a ti

Teorema 2 Fie = (N, M0 ) o re tea P/T marcata. i > 0 este un S-invariant al re (1) Daca telei , atunci orice loca tie p Pi este marginit a. este acoperita cu S-invarian (2) Daca ti, atunci este marginit a. astfel: Arma tia (2) poate reformulata i > 0 este un S-invariant al re Daca telei cu Pi = P , atunci este marginit a. a Reciproca teoremei nu este adevarat

p.

T-invarian ti - deni tii

Descriu secven te de tranzi tii care au un efect total nul (conduc la aceea si marcare). Deni tie 2 O marcare M a unei re tele P/T N este reproductibila daca exista o secven nevida de numita ta tranzi tii w astfel nct M [w M . M este reproductibila, exista secven Daca ta de tranzi tii un vector w astfel nct M [w M , M [M , deci exista f astfel nct M = M + C f , deci C f = 0. M este o marcare reproductibila a unei re Daca tele P/T N , atunci orice marcare M M a re telei N este reproductibila

p.

T - invarian ti
Deni tie 3 Fie N = (P, T, F, W ) o re tea de tip P/T. (1) Se nume ste T-invariant al re telei N orice vector n-dimensional j de numere ntregi ce verica coloana a rela tia C j = 0, unde C este matricea de inciden ta re telei N . j este T-invariant al re (2) Daca telei N , atunci mul timea Pj = {tk T | j (k ) = 0} suportul T-invariantului j . este numita j 0. (2) T-invariantul j este numit pozitiv daca nu (3) Un T-invariant pozitiv j > 0 este numit minimal daca un alt T-invariant j astfel nct 0 < j < j . exista

p.

T-invarian ti
Observa tii: Orice re tea are cel pu tin un T-invariant, j = 0. o re are cel Vom spune ca tea are T-invarian ti daca pu tin un T-invariant nenul. j1 , j2 , . . . , jn sunt T-invarian Daca ti pentru o re tea s i x1 , x2 , . . . , xn Z, atunci x1 j1 + x2 j2 + . . . + xn jn este T-invariant al re telei.

p.

T-invarian ti - propriet a ti
Teorema 3 O re tea P/T N are T-invarian ti pozitivi j > 0 N are marcari reproductibile. ddaca
Demonstrat ie:
marcarea M data prin (=): Fie j > 0 un T-invariant al re telei N . Consideram M (p ) =
tk p

j (k) W (p, tk ) ,

pentru orice p P . Fie secven ta: w = t1

j (1)

. . . tn

j (n )

Ms la M s Din modul de alegere al marcarii i secven tei w w este posibila i e M i.e. M [w M . marcarea produsa, Atunci M = M + C w = M + C j = M , deoarece j este T-invariant, deci M = M , M [w M : s i, deci, marcarea M este reproductibila. (=) Fie M [w M . Atunci M = M + C w . Deci C w =0s i w este T-invariant.
p.

T-invarian ti - propriet a ti
N Deni tie 4 Fie N = (P, T, F, W ) o re tea P/T. Spunem ca cu T-invarian pentru ecare tranzi este acoperita ti daca tie un T-invariant pozitiv jt > 0 cu t Pjt . t T exista cu Lema 2 N = (P, T, F, W ) este o re tea P/T acoperita exista un T-invariant j > 0 cu Pj = T . T-invarian ti ddaca

p. 1

Exemplu
2 p1 t2 2 t1 p2 t3

p3

x 1 1 0 0 2 1 y = 0 = z 2 0 1

T-invarian ti de forma (, , 2). cu T-invarian Re teaua acoperita ti. reproductibile: M0 [t2 t3 t3 t1 M0 sau Marcari (1, 2, 2)[t1 t2 t3 t3 (1, 2, 2).

p. 1

T-invarian ti - propriet a ti
viabila s Teorema 4 Orice re tea P/T marcata i marginit a cu T-invarian este acoperita ti. Demonstra tie:
s Fie = (N, M0 ) marginit a i viabila. pentru , exista M [M 0 s Se folose ste faptul ca, i T astfel nct M [ M s i n apar toate tranzi tiile din T . este T-invariantul cautat: C =0s i (k) > 0, k {1, . . . , n}.

p. 1

T-invarian ti
p1 t1 t3

1 1 1 0 1 1 x+yz =0 y + z = 0

x y = 0 = z

t2

p2

T-invarian ti de forma (0, , ). cu T-invarian Re teaua nu este acoperita ti, deci nu este sau nu este marginit viabila a.

p. 1

Observa tie
re Exista tele acoperite de T-invarian ti care nu sunt marginite/viabile:
p1

1 1 1

1 1 0

x y z

t1

p3

t3

=0

t2

p2

T-invarian ti de forma: (, , )T de T-invarian Re tea acoperita ti, dar nemarginit a

p. 1

Sifoane
Deni tie 5 Fie N = (P, T, F, W ) o re tea s i R P o R R. Un mul time de loca tii. R se nume ste sifon daca R = . sifon este propriu, daca

p. 1

Sifoane
Deni tie 5 Fie N = (P, T, F, W ) o re tea s i R P o R R. Un mul time de loca tii. R se nume ste sifon daca R = . sifon este propriu, daca
t2 t4

p1

p2

t3

p3

p4

t1

t5

p. 1

Sifoane
Deni tie 5 Fie N = (P, T, F, W ) o re tea s i R P o R R. Un mul time de loca tii. R se nume ste sifon daca R = . sifon este propriu, daca
t2 t4

p1

p2

t3

p3

p4

t1

t5

{p1 , p2 } = {t1 , t2 } {p1 , p2 } = {t1 , t2 , t3 } {p1 , p2 } {p1 , p2 } = {p1 , p2 } sifon propriu.

p. 1

Propriet a ti
Nota tie: e R P o mul time de loca tii s i M o marcare. M (R ) = p R M (p )

p. 1

Propriet a ti
Nota tie: e R P o mul time de loca tii s i M o marcare. M (R ) = p R M (p ) Deni tie 6 Fie N = (P, T, F, W ) o re tea, R P un sifon propriu s i M o marcare a lui N . R este marcat n M (R) = 0. marcarea M , daca

p. 1

Propriet a ti
Nota tie: e R P o mul time de loca tii s i M o marcare. M (R ) = p R M (p ) Deni tie 6 Fie N = (P, T, F, W ) o re tea, R P un sifon propriu s i M o marcare a lui N . R este marcat n M (R) = 0. marcarea M , daca Propozi tie 1 Fie N = (P, T, F, W ) o re tea s i R P un sifon propriu. Fie M o marcare a re telei astfel nct M (R) = 0. Atunci, M [M , M (R) = 0.

p. 1

Exemplu
t2 t4

p1

p2

t3

p3

p4

t1

t5

[M0 = {(0, 0, 1, 0), (0, 0, 0, 1)}, {p1 , p2 } nu sunt marcate niciodata.

p. 1

Propriet a ti
, R un sifon s Fie = (N, M0 ) o re tea P/T marcata i M0 (R) = 0, atunci M (R) = 0 M [M0 . Daca pentru accesibilitate Se ob tine o condi tie necesara R sifon pentru care M0 (R) = 0 s Daca i M (R) = 0, atunci M [M0 .
t2 t4

p1

p2

t3

p3

p4

t1

t5

R = {p1 , p2 } sifon cu M0 (R) = 0 marcarea M = (1, 0, 0, 1) nu este accesibila.

p. 1

Propriet a ti sifoane
viabila. Propozi tie 2 Fie = (N, M0 ) o re tea P/T marcata Orice sifon R este marcat la M0 .

p. 1

Propriet a ti sifoane
viabila. Propozi tie 2 Fie = (N, M0 ) o re tea P/T marcata Orice sifon R este marcat la M0 .
t3

p3

p4

p2 t2

p5

t1

p1

t4

deci re {p3 , p4 } nemarcat n marcarea ini tiala, teaua nu este viabila.

p. 1

Propriet a ti sifoane
astfel Propozi tie 3 Fie = (N, M0 ) o re tea P/T marcata Atunci mul nct M0 este marcare moarta. timea de loca tii R = {p P |M0 (p) = 0} este sifon propriu.

p. 2

Propriet a ti sifoane
astfel Propozi tie 3 Fie = (N, M0 ) o re tea P/T marcata Atunci mul nct M0 este marcare moarta. timea de loca tii R = {p P |M0 (p) = 0} este sifon propriu.
p3

p1

t1

t2 p4

p2

t4

p5

t3

deci {p1 , p3 , p4 , p5 } sifon . M0 = (0, 1, 0, 0, 0) este marcare moarta, deci {p2 , p3 , p4 , p5 } sifon M0 = (1, 0, 0, 0, 0) este marcare moarta,

p. 2

Capcane
Deni tie 7 Fie N = (P, T, F, W ) o re tea s i R P o daca R R. mul time de loca tii. R se nume ste capcana este proprie, daca R = . O capcana
t2 t4

p1

p2

t3

p3

p4

t1

t5

{p3 , p4 } este capcana.

p. 2

Propriet a ti capcane
Propozi tie 4 Fie N = (P, T, F, W ) o re tea s i R P o proprie. Fie M o marcare a re capcana telei astfel nct M (R) = 0. Atunci, M [M , M (R) = 0.

p. 2

Propriet a ti capcane
Propozi tie 4 Fie N = (P, T, F, W ) o re tea s i R P o proprie. Fie M o marcare a re capcana telei astfel nct M (R) = 0. Atunci, M [M , M (R) = 0.
t2 t4

p1

p2

t3

p3

p4

t1

t5

{p3 , p4 } este capcana. Loca tiile p3 , p4 ramn marcate n orice marcare accesibila din M0 .

p. 2

 Consecin ta
, M [M0 s Fie = (N, M0 ) o re tea P/T marcata i R o Daca M0 (R) = 0, atunci M (R) = 0. capcana. pentru accesibilitate Se ob tine o condi tie necesara o marcare M s cu M0 (R) = 0, daca Data i R capcana M (R) = 0, atunci M [M0
p1 t1 p3 t4

M0 (R) = 0. R = {p1 , p2 , p3 } capcana,

t3 p2 t2 p4

M = (0, 0, 0, 1, 0) [M0 (M (R) = 0)

p5

t5

p. 2

Caracterizare capcane
ddaca, Propozi tie 5 O mul time R de loca tii este capcana pentru orice tranzi tie t: | t| |R t | |R t|
p1 t1 p3

R = {p2 , p3 , p4}: | t1 | |R t1 | = 2 |R t1 | = 1 | t2 | |R t2 | = 1 |R t2 | = 1
t3 p2 t2

| t3 | |R t3 | = 1 |R t1 | = 1 | t4 | |R t4 | = 1 |R t1 | = 1

p4

t4

R = {p1 , p3 , p4 } nu este capcana: | t2 | |R t2 | = 0 < |R t2 | = 1

p. 2

Propriet a ti capcane
. Daca Propozi tie 6 Fie = (N, M0 )o re tea P/T marcata marcata n orice sifon propriu al lui N include o capcana a blocaje. M0 , atunci este far

p. 2

Propriet a ti capcane
. Daca Propozi tie 6 Fie = (N, M0 )o re tea P/T marcata marcata n orice sifon propriu al lui N include o capcana a blocaje. M0 , atunci este far
p3

p1

t1

t2 p4

p2

t4

p5

t3

Sifoane: {p1 , p3 , p4 , p5 }, {p3 , p3 , p4 , p5 }, {p2 , p3 , p4 }, {p2 , p3 } Capcane: {p2 , p3 }, {p1 , p3 , p4 , p5 }, {p1 , p2 , p3 } a blocaje. Re tea far

p. 2

Observa tii
a: Reciproca nu este adevarat

p1

t1

p2

t3

p3

t4

t2

a blocaje Re tea far Sifoane proprii: {p1 , p2 } -> nu include nici o capcana! Capcane proprii: {p3 }

p. 2

Propriet a ti sifoane s i capcane

. Propozi tie 7 Fie = (N, M0 )o re tea P/T marcata 1. Uniunea de sifoane (capcane) este sifon (capcana) capcana maximala (n 2. Orice sifon include o unica raport cu incluziunea) marcata ddaca capcana sa 3. Un sifon include o capcana este marcata. maximala

p. 2

Clase de re tele Petri cu structuri speciale

S-re tele T- re tele Re tele cu alegere libera

p. 2

S-re tele (ma sini cu stare)

cu stare) este o re Deni tie 8 O S-re tea (ma sina tea Petri N = (P, T, F, W ) unde: W (x, y ) = 1, (x, y ) F | t| = |t | = 1 t T .
t1 t3

p1

p2

p3

t2

t4

(S, T, F ). O S-re tea se mai noteaza:

p. 2

Propriet a ti S-re tele

a S-re Propozi tie 8 (proprietatea fundamentala telelor) Fie Daca M [M0 , atunci (N, M0 ) o S-re tea marcata. M0 (S ) = M (S ).
t1 t3

p1

p2

p3

t2

t4

p. 3

Propriet a ti S-re tele

(N, M0 ) este Teorema 5 (de viabilitate) O S-re tea marcata ddaca este tare conexa s viabila i M0 (S ) = 0.
s deci este tare conexa. Re M0 () Re teaua este marginit a i viabila, teaua este viabila, t T : M0 [t , deci s S, M0 (s) = 1. Deci M0 (S ) = 0. nu este moarta, un drum d de s la t n N . Fie () Fie M [M0 s i t T . s S cu M (s) = 1. Exista = t1 . . . tk , unde t1 , . . . , tk sunt tranzi tiile care apar pe drumul d. Atunci M [ M s i M [t .

p. 3

Exemplu
t1

p1

p2

t3

p3

t2

(nu este tare conexa) Re teaua nu este viabila

p. 3

Propriet a ti S-re tele

s Lema 3 Fie N = (S, T, F ) o S-re tea tare conexa i M ,M ale sale astfel nct M (S ) = M (S ). Atunci marcari M [ M .
M (S ): Demonstra tie: Induc tie dupa Baza: M (S ) = M (S ) = 0, deci M = M = 0. are loc propozi n care numarul Pas inductiv: presupunem ca tia pentru marcari total de puncte este n > 0. Fie M s i M cu M (S ) = M (S ) = n + 1. L(S ) = 1, L (S ) = 1, M = K + L, M = K + L . Fie K, K , L, L marcari: K (S ) = K (S ) = n. Din ip.ind., T astfel nct K [ K . L(S ) = 1, L (S ) = 1 = exista o secven T astfel N este tare conexa, ta nct L[ L . M = (K + L)[ (K + L)[ (K + L ) = M . Deci M [ M .

p. 3

Propriet a ti S-re tele

viabila Teorema 6 (de marginire) O S-re tea marcata ddaca M0 (S ) n. (N, M0 ) este n-marginit a
Fie M , s S cu (=). N este tare conexa. M (s ) = M 0 (S ) s i M (p) = 0, p = s. Are loc M (S ) = M0 (S ). Cum N conexa M0 [ M (lema 3). M (s) n, deci M (s) = M0 (S ) n. = M (S ) = M0 (S ), M [M0 (prop. 8). (p S )(M [M0 )(M (p) M (S ) n).

Demonstra tie:

Teorema 7 (de accesibilitate) Fie (N, M0 ) o S - re tea viabila s marcata i M o marcare a sa. M este ddaca M (S ) = M0 (S ) accesibila Demonstra tie:
(=) Din prop. 8. Se aplica apoi lema 3 (=) Din teorema 5, (N, M0 ) este tare conexa.

p. 3

T - re tele (grafuri marcate)

Deni tie 9 O T-re tea este o re tea Petri N = (P, T, F, W ) astfel nct : W (x, y ) = 1, (x, y ) F | p| = |p | = 1, pentru orice p P . N = (P, T, F ). Se mai noteaza:
p1 p4

p3 t1

p2

p5

p. 3

T - re tele
Deni tie 10 Fie un circuit al unei re tele, M marcare, R loca tiile de pe circuitul . Numarul de puncte de pe circuit este M ( ) = M (R); Circuitul se nume ste marcat (n marcarea M ), daca M ( ) > 0; M0 ( ) > 0. Circuitul se nume ste marcat ini tial, daca a T-re Propozi tie 9 (Proprietatea fundamentala telelor) s Atunci: Fie (N, M0 ) o T-re tea marcata i un cicuit al sau. M [M0 : M ( ) = M0 ( ) Numarul de puncte de pe un circuit este constant.

p. 3

T - re tele - viabilitate
(N, M0 ) este viabila ddaca Teorema 8 O T-re tea marcata este marcat ini orice circuit al sau tial. Demonstra tie: exista un circuit astfel nct (=) Se presupune ca M0 ( ) = 0. Deci M [M0 M ( ) = 0, deci tranzi tiile de pe circuit nu se pot produce n nici o marcare.

ca exista M [M (=) Fie t T s i M [M0 . Se arata astfel nct M [t . Fie PM = loca {p|drum de la p la t s i pe drum nu se aa tii marcate n M}.

p. 3

T - re tele - viabilitate
p1 t3 p3 p5 t1 p7 t5

p2 t2 p4 t4 p6

t = t2 PM = {p2 , p4 , p6 }. un drum maximal = t1 p1 t2 . . . pn tn t, cu p1 , . . . , pn PM (orice circuit este Exista marcat n M , deoarece este marcat s i n M0 ). Fie secven ta de tranzi tii = t1 . . . tn . Atunci: M [ M [t (*). |PM |: |PM | = 0, toate loca Induc tie dupa tiile din t sunt marcate la M , deci M [t . a pentru orice PM cu |PM | < n. Fie PM cu Presupunem arma tia (*) adevarat | PM | = n. ca: Loca tiile din t1 marcate n M , deci M [t1 M . Se arata PM PM PM = PM

p. 3

T - re tele - viabilitate
Fie p PM , deci p t1 drum = p . . . t cu toate loca Exista tiie nemarcate n ca toate loca M . Se arata tiile sunt nemarcate n M p PM ). (adica producerea p1 PM s i p1 PM (p1 marcat n M dupa lui t1 ). exista o secven de PM PM , din ipoteza inductiva ta tranzi tii cu M [ M [t . Cum M [t1 M , se ob tine: M [t1 M [ M [t . Deci re teaua este viabila.

p. 3