Sunteți pe pagina 1din 10

1.

Modelul matematic
Metoda de cercetare specific cercetrii operaionale este metoda modelrii matematice
Modelul ideal din punct de vedere tiinific este acela care reproducnd teoria unui
fenomen, se poate supune testrii n diverse ipoteze de desfurare, din care s rezulte
concluzii directe privind fenomenul cercetat.
Modelele matematice servesc, pe aceast cale, la cunoaterea fenomenelor i la descoperirea
de noi relaii ntre acestea
Modelarea ca metod matematic de reprezentare i organizare a sistemelor ofer
urmtoarele avantaje:
reprezint riguros fenomenele i legturile lor la nivelul sistemului analizat;
permite verificarea prin analogie a teoriei cu practica;
uureaz descoperirea unor corelaii dintre fenomene care stau la baza
procesului de decizie;
permite obinerea unor soluii optime.
erificarea modelelor se realizeaz prin simulare
Modelele liniare opereaz cu relaii matematice la care variabilele au e!ponenii egali
cu unitatea.
Modelele neliniare opereaz cu relaii matematice n care intervin variabilele cu
e!poneni supraunitari.
Modelele deterministei probabiliste se construiesc att pentru procese certe ct i
pentru procese cu un nalt grad de incertitudine n desfurarea evenimentelor.
Modelele deterministe se pot deduce din cele probabilistice cnd probabilitatea de
desfurare a evenimentelor din cadrul sistemului analizat sunt egale cu unitatea.
Modelarea discret sau continu se aplic la finalizarea matematic a problemelor n
care fenomenele au o distribuie discret sau o distribuie continu.
Modelele statice cuprind evenimente descrise de variabile care nu depind de timp.
Modelele microindustriale se construiesc pentru locuri de munc, utilaje, secii de producie i
pentru nivelul ntreprinderii
2.Modelarea proceselor prin metoda Grafcet
"#$%&'( este o metod de reprezentare de tip graf care comport dou tipuri de
noduri: etape i tranziii.
$rcele fac legtura ntre etape i tranziii. $cestea pot fi de la etape la tranziii sau de la
tranziii la etape.
) etap poate s aib dou stri, adic s fie activ *reprezentat prin marcaj+ sau
inactiv. 'tapa care trebuie s fie activ cnd sistemul este pus n funciune se numete
etap iniial.
, etap inactiv-.
, etap activ
, etap iniial
(ranziiile sunt reprezentate ca n figura urmtoare. %iecrei tranziii i este asociat o funcie
numit funcie de receptivitate #i, #i . funcie*variabile de intrare sau/i de stare+.
) tranziie poate s nu aib etape de intrare sau etape de ieire. 0n primul caz vom avea
tranziie surs iar n al doilea , tranziie final.
$nsamblul etapelor active la un moment dat, definete situaia la acel moment.
) situaie corespunde unei stri a sistemului.
'voluia strii se va face prin efectuarea tranziiilor
) tranziie este e!ecutabil dac urmtoarele dou condiii sunt ndeplinite:
toate etapele care preced tranziia sunt active *se spune c tranziia este valid+;
funcia de receptivitate asociat tranziiei are valoare adevrat
#eguli de e!ecuie a tranziiilor:
toate tranziiile e!ecutabile sunt imediat e!ecutate;
etapa ce este simultan activat i dezactivat este considerat activ;
mai multe tranziii simultan e!ecutabile sunt simultan e!ecutate.
3.Macroetape i pseudo-macroetape
Macroetapele i pseudo,macroetapele sunt utilizate pentru descrierea sistemelor
comple!e. $cestea permit detalierea separat a unor pri din "#$%&'(.
Macroetapa are numai o intrare i o ieire. '!ecuia unei tranziii nainte de macroetap
conduce la activarea etapei de intrare din descrierea macroetapei.
1seudo,macroetapa ,reprezint o parte din "#$%&'( care este reprezentat
concentrat.
$ciunile sunt reprezentate de aciunile ce aparin etapelor ce intr n descrierea pseudo,
macroetapei
R
i
T
i
5
M30
Aciunii
i
i
4.Modelarea sistemelor prin Reele Petri.Noiuni enerale
$ceast metod de modelare este de tip graf orientat, utiliznd dou tipuri de noduri:
poziii i tranziii.
) poziie este reprezentat printr,un cerc i tranziia printr,o linie *unii autori reprezint
tranziia printr,un dreptung2i+.
1oziiile i tranziiile sunt legate prin arce. 3umrul de poziii i tranziii este finit i nenul.
4n arc este orientat de la o poziie spre o tranziie sau de la o tranziie spre o poziie.
%iecare poziie conine un numr ntreg *pozitiv+ de marcaje sau jetoane. 3umrul de
marcaje coninute de o poziie 1i se va nota M*1i + sau ni i se va numi marcajul poziiei
1i.
om defini marcajul reelei ca fiind M5.6m5, m-, m7, ....., mn8
Marcajul la un moment dat definete starea #.1.
'voluia strilor corespunde deci evoluiei marcajelor, evoluie care se produce prin
e!ecuia tranziiilor.
Execuia tranziiilor
'!ecuia tranziiilor poate fi efectuat dac fiecare poziie de intrare n aceea tranziie
conine cel puin un marcaj. om spune c tranziia este e!ecutabil sau valid.
'!ecuia unei tranziii const n luarea unei marcaj din fiecare poziie de intrare a
tranziiei (j i adugarea unui marcaj n fiecare din poziiile de ieire din tranziia
respectiv.
9ac o tranziie este valid, aceasta nu implic c ea va fi imediat e!ecutat. :a un
moment dat poate fi efectuat o singur tranziie. '!ecuia unei tranziii este indivizibil
i o vom considera de durat nul *#.1. autonome+.
!. "Graf de stri# Graf de e$enimente
) reea 1etri este un graf de stri dac i numai dac toate tranziiile au o singur poziie de
intrare i o poziie de ieire
) reea 1etri este un graf de evenimente dac i numai dac toate poziiile au e!act o
tranziie de intrare i o tranziie de ieire. "raful de evenimente este dualul unui graf de
stri.
%. Retelele Petri fara conflict si Retelele Petri cu aleere libera
Reele Petri fr conflict
;unt reele 1etri n care toate poziiile au cel mult o tranziie de ieire.
4n conflict corespunde e!istenei unei poziii 15 care are cel puin dou tranziii de
ieire.
1*(5, (-+ , conflict.
om nota acest conflict prin poziia respectiv i ansamblul de tranziii
Reele Petri cu alegere liber
) reea 1etri cu alegere liber este o #. 1. n care pentru toate
conflictele 1i *(5, (-, (7,....,(j +, nici o tranziie (5, (-, (7, ...., (j nu are alt poziie de intrare
dect poziia 1i
&.Retelele Petri pure si Retelele Petri simple
Reele Petri simple
;unt reelele 1etri n care tranziiile nu pot fi raportate dect la un conflict cel mult. $ltfel
spus, dac e!ist o tranziie (5 i dou conflicte 15*(5,(- + i 1- *(5, (7 + atunci #.1.
nu este simpl.
#eelele 1etri simple includ ansamblul #.1. cu alegere liber, care includ ansamblul #.1.
fr conflict, care includ la rndul lor grafurile de evenimente.
Reele Petri pure
;unt reele 1etri n care nu e!ist tranziii avnd poziii de intrare ce sunt i poziii de
ieire din aceea tranziie.
om spune n cazul << c (7 este tranziie impur
'.R Petri enerali(ate
) reea 1etri generalizat este o #eea 1etri n care, fiecrui arc i sunt asociate anumite
valori *ponderi+.
9ac un arc 1i,(j are valoarea p, aceasta reprezint c tranziia (j nu va fi valid dect
dac poziia 1i va conine cel puin p marcaje.
0n urma efecturii tranziiei (j, p marcaje vor fi luate din aceast poziie 1i. 1entru un arc
(j,1i avnd valoarea p, n urma efecturii tranziiei (j, p
marcaje vor fi adugate poziiei 1i.
0n caz general, n urma efecturii unei tranziii vor fi
e!trase din fiecare poziie de intrare n acea tranziie, un
numr de marcaje egal cu valoarea arcului ce leag acea
poziie de tranziia e!ecutat 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.
(oate reelele 1etri generalizate pot fi transformate n #.1. ordinare *marcate i autonome
).R Petri cu capacitate
) reea 1etri cu capaciti este o #.1. n care capaciti *numere ntregi i pozitive+ sunt
asociate poziiilor.
'!ecuia unei tranziii de intrare ntr,o poziie 1i avnd capacitatea cap*1i+ nu este
posibil dect dac e!ecuia acestei tranziii nu ne conduce la un numr de marcaje n
1i care depesc aceast capacitate.
(oate #.1. cu capaciti pot fi transformate n #.1. ordinare
1*.R Petri colorate
0ntr,o #eea 1etri informaia este coninut de poziii. 1rezena unui marcaj ntr,o poziie
poate, de e!emplu s modeleze o main disponibil. 9ac aceast poziie este vid,
aceasta semnific c maina este ocupat, sau defect. Mai multe marcaje situate n
aceeai poziie poate reprezenta un numr de piese identice sau o valoare.
;,a definit astfel o nou metod de modelare reprezentat de #eele 1etri &olorate.
0ntr,o #eea 1etri &olorat *#1&+, fiecare tranziie poate fi e!ecutat n diferite maniere,
reprezentate de diferitele culori de e!ecuie ce sunt asociate tranziiei#elaia ntre
culoarea de e!ecuie i marcajul colorat coninut este definit de funciile asociate
arcelor.
) funcie este asociat fiecrui arc pentru a traduce relaia care este ntre culoarea
asociat tranziiei aleas pentru a e!ecuta aceast tranziie i culoarea poziiei
corespunztoare.
0n #1 &olorate, funcia identic, notat =id> este asociat arcelor care nu realizeaz nici
o transformare de culoare, cu alte cuvinte, e!ecuia unei tranziii n raport cu o anumit
culoare se reduce la luarea unui marcaj de o anumit culoare din poziiile de intrare i
adugarea unui marcaj de aceeai culoare n poziiile de ieire.
#eelele 1etri colorate conin marcaje crora sunt atribuite diverse culori. $ceste reele
prezint interes n modelarea sistemelor comple!e.
(oate reelele 1etri colorate avnd un numr de culori finit pot fi transformate n #.1. ordinare
11.R Petri cu arce in+ibatoare
4n arc in2ibator este un arc orientat care pleac de la o poziie, pentru a ajunge la o
tranziie. '!tremitatea sa este marcat printr,un
mic cerc. $rcul in2ibator ntre 1i i (j va sc2imba
modul de efectuare a tranziiei (j . 0n acest caz
tranziia va fi valid numai dac poziia 1i nu
conine marcaje.
'!ecuia tranziiei (j const n luarea unui
marcaj din fiecare poziie de intrare cu e!cepia poziiei 1i i adugarea unui marcaj n
fiecare poziie de ieire din tranziia (j.
12.R Petri continue
$ceste reele au particularitatea c marcajul unei poziii este un numr real. '!ecuia tranziiilor
se efectueaz n flu! continuu. $ceste reele permit modelarea sistemelor care nu pot fi
modelate prin #.1. ordinare
13.,aracteristicile R Petri
-iabilitatea
) reea 1etri este utilizat pentru a descrie un sistem i a,l studia. Modelul este corect
dac #. 1. este viabil adic nu e!ist blocaje,?tranziie poate fi e!ecutat plecnd din
poziia iniial printr,o succesiune de tranziii.
.imitarea
:imitare este proprietatea #. 1. de a conine un numr de marcaje finit.
Reiniiali(area
#einiializarea este proprietatea reelelor 1etri ca dup o succesiune finit de tranziii s
revin la marcajul iniial.
$naliza modelelor realizate prin reele 1etri au la baz aceste proprieti, ce pot fi
e!trase studiind modelele sau prin simularea acestora.
14./cuatia de stare a R Petri 0 specificare cum se calculea(a
Matricea de inciden este independent de marcaj. 9ac o #.1. este pur matricea sa
de inciden permite construirea reelei.
%ie o secven de tranziii realizabile plecnd din marcajul Mi *; +.
1entru marcajul Mi al reelei din figura urmtoare avem secvena ;.(- notat cu Mi*(-
+.
;ecvena de e!ecuie ; conine numai tranziia (- e!ecutat o singur dat.
ectorul caracteristic al acestei secvene ; notat cu ; , este vectorul de dimensiune m a
crui component j corespunde numrului de e!ecuii a tranziiei (j n secvena ; .
'cuaia fundamental a #1 va fi:
1!.Componente conservative si invariatii marcajelor
#.1. este o component conservativ dac i numai dac 1 este ocomponent
conservativ. 1roprietatea de a fi o component
conservativeste independent de marcajul iniial.
&onsiderm un vector de ponderi de poziii % . *@5,
@-,..., @n+ astfelnct fiecare pondere @i este un numr
ntreg mai mare sau egal cu A.
aloarea @i este valoarea asociat poziiei pi.
%ie 1*f+ mulimeapoziiilor pentru care valorile ponderilor
nu sunt nule. 1*f+ este deci osubmulime d a lui 1.
&onsiderm #.1. din figura alturat.
ectorul % . *55A5A+ce corespunde unei ponderi: , 5
pentru *15, 1- i 1B+;, A pentru *17 i 1C +.
om avea deci 1*%+ . *15, 1-, 1B +
1roprietate: D este o component conservativ dac i numai dace!ist un vector de
ponderi astfel nct 1*%+.D i %
(
EF.A. 1lecnd de laecuaia fundamental care o
multiplicm cu %
(
putem scrie:
%
(
EMi.%
(
EMAG%
(
EFE;
pentru toate marcajele accesibile printr,o succesiune de tranziii ;.
9eci dac %(EF.A vom avea %(EMi . %(EMA, pentru orice valoare a lui ; i orice
valoare Mi MAE.
om spune c %(EMi este un invariant de marcaje. $ltfel spus numrul de marcaje din
mulimea 1*%+, ponderat prin vectorul % este constant.
1&.Grafuri de marca1e
Graful de marca1e este compus din2
noduri care corespund marcajelor
accesibile;
arce corespunznd e!ecuiei tranziiilor.
Graful de marca1e corespun(tor Reelei Petri
pre(entat 3n fiura de mai sus este urmtorul .
,u a1utorul acestui raf de marca1e putem s sim proprietile #1:
,limitat , nici o poziie nu are mai mult de dou marcaje;
,nu este viabil , are - blocaje;
,nu este reiniializabil.
1'. 4tructuri ce pot fi $i(uali(ate cu a1utorul R Petri
Paralelismul
) structur de e!ecuie n paralel a dou secvene ;5 i :a e!ecuia tranziiei (5 poziiile 15 i
1- sunt activate simultan, evoluia ulterioar realizndu,se pe dou ramuri paralele pn la
efectuarea tranziiei (-.
4incroni(area
;incronizarea n cadrul unui model poate fi realizat prin dou metode:
metoda ntlnirii;
metoda semaforului.
0n primul caz sincronizare a dou secvene separate se realizeaz printr,o tranziie
comun (5, iar n al doilea caz prin intermediul unei poziii 15, care permite efectuarea
tranziiei (- numai dup ce a fost realizat tranziia (5 din secvena ;5. '!ecuia
operailor din prima secven ;5 este sincronizat cu efectuarea operailor din a doua
secven prin intermediul tranziiei (5.
Memorarea
;tructurile de memorare pot realiza memorarea efecturii unei tranziii sau a unui numr.
0n primul caz *a+ e!ecuia tranziiei (5 este memorat de ctre marcajul poziiei 1A iar n
cazul *b+ memorarea numrului este realizat prin marcajul poziiei 15.
,itirea unui marca1
$ceast operaie este reprezentat de efectuarea unei tranziii ce este condiionat de
marcajul unei poziii care nu se modific n urma e!ecuiei aceste tranziii.
'!ecuia lui (5 este condiionat de marcajul 15, fr s,l modifice.
,apacitate limitat
$ceast structur este utilizabil n cazul n care nu folosim #1 cu capaciti.
'!ecuia tranziiei (5 nu este posibil dac poziia 15 conine cel puin dou marcaje.
1). R Petri sincroni(ate
5ntr-o R.P. sincroni(at# la fiecare tran(iie este asociat un e$eniment i e6ecuia
acestei tran(iii se $a efectua dac tran(iia este $alid c7nd e$enimentul asociat
se produce.