BMSPI

SEMINAR Nr.3

MODELAREA MATEMATIC A RELAIILOR DINTRE CONDIII I EVENIMENTE CALCULAREA MARCAJULUI DUP O SUCCESIUNE DE TRANZIII. INVARIANI 1. Scopul lucrarii Lucrarea face o introducere in reelele Petri si isi propune nsuirea modelarii cu acest tip de retele. 2. Continutul lucrarii Aceast metod de modelare este de tip graf orientat, utiliznd dou tipuri de noduri: poziii i tranziii. O poziie este reprezentat printr-un cerc i tranziia printr-o linie (unii autori reprezint tranziia printr-un dreptunghi). Poziiile i tranziiile sunt legate prin arce. Numrul de poziii i tranziii este finit i nenul. Un arc este orientat de la o poziie spre o tranziie sau de la o tranziie spre o poziie. Marcaje Fiecare poziie conine un numr ntreg (pozitiv) de marcaje sau jetoane. Numrul de marcaje coninute de o poziie Pi se va nota M(Pi ) sau ni i se va numi marcajul poziiei Pi. Vom defini marcajul reelei ca fiind M1={m1, m2, m3, ....., mn} Marcajul la un moment dat definete starea R.P. Evoluia strilor corespunde deci evoluiei marcajelor, evoluie care se produce prin execuia tranziiilor. Se vor utiliza mereu Reele Petri marcate i vom scrie simplu R.P. Marcajul unei R.P. este diferit de cel a unui Grafcet. Marcajul unei R.P. este numeric pe cnd marcajul unui Grafcet este boolean. Execuia tranziiilor Execuia tranziiilor poate fi efectuat dac fiecare poziie de intrare n aceea tranziie conine cel puin un marcaj. Vom spune c tranziia este executabil sau valid. Execuia unei tranziii const n luarea unei marcaj din fiecare poziie de intrare a tranziiei Tj i adugarea unui marcaj n fiecare din poziiile de ieire din tranziia respectiv. Dac o tranziie este valid, aceasta nu implic c ea va fi imediat executat. La un moment dat poate fi efectuat o singur tranziie. Execuia unei tranziii este indivizibil i o vom considera de durat nul (R.P. autonome). a) Reele Petri generalizate O reea Petri generalizat este o Reea Petri n care, fiecrui arc i sunt asociate anumite valori (ponderi). Dac un arc Pi-Tj are valoarea p, aceasta reprezint c tranziia Tj nu va fi valid dect dac poziia Pi va conine cel puin p marcaje.

n urma efecturii tranziiei Tj, p marcaje vor fi luate din aceast poziie Pi. Pentru un arc Tj-Pi avnd valoarea p, n urma efecturii tranziiei Tj- p marcaje vor fi adugate poziiei Pi. n caz general, n urma efecturii unei tranziii vor fi extrase din fiecare poziie de intrare n acea tranziie, un numr de marcaje egal cu valoarea arcului ce leag acea poziie de tranziia executat i vor fi adugate n fiecare poziie de ieire din acea tranziie, un numr de marcaje egal cu valoarea arcului ce leag acea poziie de ieire. Toate reelele Petri generalizate pot fi transformate n R.P. ordinare (marcate i autonome). Ecuaia de stare a reelelor Petri O R.P. ordinar nemarcat este descris de Q=<P, T, PRE, POST> unde: P={P1 , P2 , ...., Pn } -mulimea poziiilor ; T={T1 , T2, ..., Tm } -mulimea tranziiilor; PRE: PxT{0, 1} este o funcie de inciden nainte; POST:PxT{0, 1} este o funcie de inciden dup; PRE(Pi , TJ ) este valoarea arcului Pi Tj i 0 dac nu exist arc; POST(Pi , TJ ) este valoarea arcului TjPi i 0 dac nu exist arc. O R.P. generalizat nemarcat este definit prin: PRE: PxTN; POST: PxTN. Vom utiliza notaiile urmtoare: o Tj={PiP / PRE(Pi , Tj )>0} - ansamblul poziiilor de intrare n Tj; Tjo ={Pi P I POST(Pi , Tj )>0}- ansamblul poziiilor de ieire n Tj. Pio ={Tj T I PRE(Pi , Tj )>0} - ansamblul tranziiilor de ieire din Pi; o Pj={PiP I POST(Pi , Tj )>0}- ansamblul tranziiilor de intrare n Pi. Cu ajutorul acestor notaii, condiia de validare a unei tranziii poate fi definit astfel: o tranziie Tj este valid pentru un marcaj M dac i numai dac M(Pi) Pre(Pi, Tj), pentru toate poziiile Pi0Tj. Vom definii matricea de inciden pre - W- astfel: W [m ,n ] = w i , j ; unde fiecare element al matricei w-i,j = PRE(Pi,Tj)

i = 1, m , numrul de poziii iar j = 1, n , numrul de tranziii. Vom definii matricea de inciden post - W+ astfel: W + [m,n ] = w + i , j ; unde fiecare element al matricei w+i,j = POST(Pi,Tj)

i = 1, m , numrul de poziii iar j = 1, n , numrul de tranziii. Vom definii matricea de inciden W = W+-W- astfel: W[m,n ] = wi , j

[ ]

unde fiecare element al matricei wi,j = POST(Pi.Tj) - PRE(Pi.Tj). i = 1, m , numrul de poziii iar j = 1, n , numrul de tranziii. Matricea de inciden este independent de marcaj. Dac o R.P. este pur, matricea sa de inciden permite construirea reelei. Fie o secven de tranziii realizabile plecnd din marcajul Mi (S. Pentru marcajul Mi al reelei din figura 24.a avem secvena S=T2 notat cu Mi(T2. Secvena de execuie S conine numai tranziia T2 executat o singur dat. Vectorul caracteristic al acestei secvene S notat cu S , este vectorul de dimensiune m a crui component j corespunde numrului de execuii a tranziiei Tj n secvena S . Pentru exemplul nostru S = (0100) .
P 1

b)

T1

P 2
T2

P 3
T

a)
P1 P2

T2

P 4

.
T4

P 5

.
T2

T1

P3
T3

Mk T T T T
3 4 1 3

P4
T4 M i

P5
P1
T T 2 T3 T 4T
1 3

P2

.
T2

T1

P3

P4

.
T4 Mf

T3

c)

P5

Dac secvena de tranziii este M1(SdMk ) atunci vom avea relaia fundamental:

M k = M i + W $S

Pentru exemplul dat avem:

0 1 1 0 0
Mi

1 1 + 1 0 0

0 1 0 1 0

0 0 1 0 1

1 0 0 1 1

0 0 0 1 1 1 & = 1 + 0 0 0 1 0 0 0 S

0 0 = 1 1 0
Mk

Pentru secvena de execuie S'=T3, T4, T1, T3 avem vectorul caracteristic S =(1, 0, 2, 1) Mk=Mi+W*S unde
P1 P2 W = P3 P4 P5

Mf =Mk+W*S'
T1 1 1 1 0 0 T2 0 1 0 1 0 T3 0 0 1 0 1 T4 1 0 0 1 1

Componente conservative i invarianii marcajelor

Exemplul 1

.
T4

T1

P2 T2

T3

P4

Putem scrie m 1 + m 2 + m 3 + m 4 = 1. Exemplul 2

n exemplul dat observm c totdeauna o singur poziie va fi marcat sau la un moment dat exist un singur marcaj pentru cele 4 poziii.

.
P2
T2

P1
T1

P1 P3
T3 P 5 T4

P2

.
T2

T1

P3
T3 P 5

P4

P4
T4 M1

M0

P1
T1

P1

P2
T2 P 4

T1

P3
T3 P5

P2
T2

P3

.
T4 M 2

P4

.
T4 M3

T3

P5

Succesiunea tranziiilor n acest exemplu este T1, T2, T3. Putem observa c se afl totdeauna un singur marcaj n ansamblul poziiilor {P1, P2, P4} m1+m2+m4 =1, similar m1+m3+m5 =1, prin adunare obinem 2m1+m2+m3+m4+m5=2, obinnd un invariant care este relativ la ansamblul poziiilor R.P. P'_P i un vector de ponderi (q1, q2,..., qr) toate valorile qi cN* astfel nct:

_ Fie o R.P. i P/ P ansamblul poziiilor. Avem un invariant liniar de poziii, dac o mulime

q1 M(P1)+q2 M(P2)+.......qr M(Pr)=constant , McM*.

Ansamblul poziiilor P/ este o component conservativ. R.P. este o component conservativ dac i numai dac P este o component conservativ. Proprietatea de a fi o component conservativ este independent de marcajul iniial. Considerm un vector de ponderi de poziii F = (q1, q2,..., qn) astfel nct fiecare pondere qi este un numr ntreg mai mare sau egal cu 0. Valoarea qi este valoarea asociat poziiei pi. Fie P(f) mulimea poziiilor pentru care valorile ponderilor nu sunt nule. P(f) este deci o submulime d a lui P. Considerm R.P. din figura 27.

Vectorul F = (11010) ce corespunde unei ponderi: - 1 pentru (P1, P2 i P4); - 0 pentru (P3 i P5 ). Vom avea deci P(F) = (P1, P2, P4 ) Proprietate: B este o component conservativ dac i numai dac exist un vector de ponderi astfel nct P(F)=B i FT*W=0. Plecnd de la ecuaia fundamental care o multiplicm cu FT putem scrie: FT*Mi=FT*M0+FT*W*S pentru toate marcajele accesibile printr-o succesiune de tranziii S.
P1 T1 P2 P3 T3 P 4 T4 P5

Deci dac FT*W=0 vom avea FT*Mi, pentru orice valoare a lui S i orice valoare Mic M0*. Vom spune c FT*Mi este un invariant de marcaje. Altfel spus numrul de marcaje din mulimea P(F), ponderat prin vectorul F este constant. Pentru exemplul considerat:

1 0 0 1 1 1 0 0 [11010] & 1 0 1 0 =[00000] FT 0 1 0 1

Ansamblul poziiilor P(F) = ( P1, P2, P4 ) este o component conservativ.