Conceptuldesistem

Dezvoltarea metodelor de calcul i a tehnicilor specifice de lucru n domeniul cercetrii tiinifice va permite implementarea tipului matematic de gndire n manier sistemic sistemic. Conceptul de sistem a fost definit de mai muli autori i poate fi formulat astfel: complex de elemente aflate n interaciune; p ; Zadeh definete sistemul ca un obiect abstract, caracterizat n principal prin conexiunea perechilor de mrimi intrare/ieire; modelul matematic al unui proces; o mulime d obiecte care se coreleaz t ele sau mulimea d obiecte li de bi t l ntre l li de bi t unite printro relaie oarecare. Noiunea de sistem mai comport urmtoarele definiii: set de obiecte interconectate; un mod ordonat de aciune, un tot organizat de cunotine, mrimi i concepte; un mediu n care intr un set de informaii, care se prelucreaz i se transmit la ieire.

Conceptuldesistem
Procesele modelate sunt caracterizate de anumite fenomene. fenomene Aceste fenomene pot fi fenomene artificiale sau fenomene naturale. Fenomenele artificiale se datoresc activitii omului, lund natere n mari sisteme formate din oameni, utilaje, maini, materiale. Fenomenele artificiale pot fi fenomene economice sau fenomene de organizare. Exemple de fenomene de organizare:
ansamblul operaiilor pe o linie de montaj ntr o fabric; montaj, ntro variaia unui stoc de mrfuri, de exemplu combustibil; repartiia puterii active ntre centralele unui sistem electroenergetic; gospodrirea i d i investiiilor; tiiil elaborarea economic a unui amestec de produse, determinarea reetei de combustibili solizi; amplasarea unitilor de producie (fabrici, centrale electrice); msuri ce se iau n caz de avarie.

Conceptuldesistem
Datornduse Datorndu se activitii oamenilor fenomenul oamenilor, de organizare i este caracteristic luarea unei hotrri, a unei decizii, asupra modului de desfurare a acestei activiti. d f t i ti iti Cele mai importante probleme ale lurii deciziei n sistemele n care apar fenomenele p de organizare sunt:
analiza activitii sistemului; fixarea scopului activitii; alegerea soluiilor care s conduc la atingerea scopului propus.

Conceptuldesistem
Modul de observare i influenare a fenomenelor de organizare a parcurs dou etape: prima etap a avut un caracter empiric fenomenul este cunoscut pe b baza experienei personale, i i i l iar decizia este luat n funcie de intuiia factorului de decizie; a doua etap are un caracter tinific fenomenul este cunoscut prin informaia cifric obiectiv, iar decizia este luat n urma unui raionament tiinific. Luarea deciziilor pe baza experienei personale i a intuiiei poate conduce la decizii eronate eronate.

Cercetareaoperaional
Disciplina care cerceteaz n mod tiniific fenomenele de organizare i permite pregtirea tiinific a deciziilor poart denumirea de p cercetare operaional. Ea reprezint fundamentul teoretic n rezolvarea unor probleme practice. bl i Cercetarea operaional se caracterizeaz prin aceea c are un domeniu propriu de cercetare domeniul fenomenelor de organizare elaboreaz teorii proprii i folosete metode specifice.

Modelulmatematic
Metoda de cercetare specific cercetrii operaionale este metoda modelrii matematice matematice. Modelarea matematic reproduce la scar, prin intermediul simbolurilor, o parte a realitii, o mulime de evenimente, o teorie p , p , dintrun anumit domeniu de specialitate, avnd ca scop testarea, simularea comportamentului acestuia i gsirii cilor de optimizare a desfurrii lor n practic. Conceptul de model a fost folosit pentru prima dat n 1868 de matematicianul italian Bertrami care a construit un model euclidian pentru geometria neeuclidian. Modelele matematice reproduc anumite laturi ale obiectelor supuse studiului prin intermediul unei teorii. Modelarea servete n aceast idee la cunoaterea tiinific a realitii i se ocup cu construirea de noi modele care s serveasc scopului propus.

Modelulmatematic
Modelul ideal din punct de vedere tiinific este acela care reproducnd teoria unui fenomen, se poate supune testrii n diverse ipoteze d d f i de desfurare, di care s rezulte concluzii di din l l ii directe privind i i d fenomenul cercetat. Modelele matematice servesc, pe aceast cale, la cunoaterea fenomenelor i la descoperirea de noi relaii ntre acestea. Confruntarea modelelor macroeconomice cu realitatea este foarte rar posibil pe cale experimental. Modelarea sistemelor realizat n maniera cercetrii operaionale permite pe de o parte reprezentarea teoriei care conduce la cunoaterea fenomenelor, iar pe de alt parte folosete ca instrument pentru noi descoperiri. Pe baza testrii modelelor se scot n eviden strile posibile de desfurare ale proceselor i se pot preciza cile de intervenie pentru optimizarea structurii sistemelor modelate.

Modelulmatematic
Modelareacametodmatematicdereprezentareiorganizarea sistemeloroferurmtoareleavantaje: sistemeloroferurmtoareleavantaje
reprezintrigurosfenomeneleilegturilelorlanivelulsistemului analizat; permiteverificareaprinanalogieateorieicupractica; uureazdescoperireaunorcorelaiidintrefenomenecarestaulabaza procesuluidedecizie; permiteobinereaunorsoluiioptime.

Verificareamodelelorserealizeazprinsimulare. Modelelegeneralenteoriacercetriioperaionalesepotclasifican:
modeleliniareimodeleneliniare; modeledeterministeiprobabiliste; modelediscreteicontinue; modelealgoritmice; modeleinteligente; modelestaionareidinamice; modelemicroimacroindustriale.

Modelulmatematic
Modelele liniare opereaz cu relaii matematice la care variabilele au exponenii egali cu unitatea unitatea. Modelele neliniare opereaz cu relaii matematice n care intervin variabilele cu exponeni supraunitari. Modelele deterministe i 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 d d f b bilit t de desfurare a evenimentelor di cadrul sistemului i t l din d l i t l i analizat sunt egale cu unitatea. Modelarea discret sau continu se aplic la finalizarea matematic a p 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 i i d t i l M d l l microindustriale se construiesc pentru l t i t locuri d munc, i de utilaje, secii de producie i pentru nivelul ntreprinderii.

Modelulmatematic
Modelul macroindustrial se elaboreaz pentru descrierea matematic a activitilor de la nivelul ramurii industriale, a activitilor de la nivelul naional sau mutinaional. l l Un rol esenial n ingineria i integrarea ntreprinderii l joac modelele. Deseori arhitecturile propuse sunt evaluate prin prisma posibilitilor de realizare a modelului ntreprinderii, sau a poriunii din ntreprindere care intereseaz, n funcie de scopul avut n vedere (construire, integrare, sau reinginerie). Arhitecturile i modelele de referin conin metode i tehnici de modelare proprii sau folosesc soluii i produse dezvoltate independent proprii, independent. Scopurile modelrii ntreprinderii sunt:
a) nelegerea mai bun i reprezentarea uniform a ntreprinderii; b) asistarea proiectelor de inginerie sau reinginerie a ntreprinderii, sau a unor pri din ea; c) furnizarea unei referine pentru monitorizarea i conducerea ntreprinderii.

Modelulmatematic
O serie de principii sunt recomandabile n cazul modelrii ntreprinderii sau a sistemelor flexibile de fabricaie:
a) principul separrii preocuprilor, care cere ca analiza entitii de interes s se efectueze pe pri, n scopul reducerii complexitii; b) principiul descompunerii funcionale, care se bazeaz pe detalierea pas cu pas de la o vedere de ansamblu la una de detaliu; c) principiul modularitii, pentru uurarea ntreinerii modelului i gestiunii schimbrilor; d) principiul derivrii modelelor, care permite ca modelele specifice s se p g obin, prin derivare, din modele generice; e) principiul reutilizrii, care recomand refolosirea unor modele pariale, n scopul diminurii timpului de elaborare a modelului; f) principiul decuplrii proceselor i resurselor, care privete ntreprinderea ca pe un set de procese, care comunic unul cu altul i care sunt p p , sincronizate prin schimbul de mesaje.

Modelarea proceselorprin metodaGrafcet

GRAFCET este o metod de reprezentare de tip graf care comport dou tipuri de noduri: etape i tranziii. Arcele fac legtura ntre etape i tranziii. Acestea pot fi de la etape la tranziii sau de la tranziii la etape. O etap poate s aib dou stri, adic s fie activ (reprezentat prin marcaj) sau inactiv. Etapa care trebuie s fie activ cnd sistemul este pus n funciune se numete etap iniial.
1

etapinactiv2. etapactiv etapiniial

.2
0

Fig.1 Reprezentareaetapelor Fi R t t l

Modelarea proceselorprin metodaGRAFCET

Tranziiile sunt reprezentate ca n figura urmtoare. Fiecrei tranziii i este asociat o funcie numit funcie de receptivitate Ri, Ri = funcie(variabile de p intrare sau/i de stare). Ti
Reprezentarea tranziiilor

Dac sunt mai multe arce care sosesc sau pleac de la aceeai tranziie, reprezentarea conine i o linie dubl dubl.
jonciune I Ti b) Ti Ri Ri

a)

c) )

Ti

Ri

distribuie I

jonciune i distribuie

Modelarea proceselorprin metodaGRAFCET

Cnd dou sau mai multe linii se conecteaz la aceeai etap ele se regrupeaz. l

Ti

Ti+
1

Ti a) distribuie SAU

Ti+
1

a)

jonciune SAU

Modelarea proceselorprin p p metodaGRAFCET

Ot tranziie poate s nu aib etape d ii t ib t de intrare sau etape de ieire. n primul caz vom avea tranziie surs iar n al doilea tranziie final. Ansamblul etapelor active la un moment dat, definete situaia la acel moment. O situaie corespunde unei stri a sistemului. Evoluia strii se va face prin efectuarea tranziiilor. Aciunile sunt reprezentate ntrun dreptunghi asociat etapelor, acestea putnd fi executate cnd etapa p respectiv este activ.
Aciuni i

Ti

Ri

i+1

Aciuni i+1

Modelarea proceselorprin metodaGRAFCET

O tranziie este executabil 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.

Execuia unei tranziii const n a dezactiva toate etapele dinaintea tranziiei i a activa toate etapele de dup Aceste operaii sunt dup. indisociabile i sunt executate simultan. Execuia unei astfel de tranziii este considerat de durat nul. Reguli de execuie a tranziiilor: g
toate tranziiile executabile sunt imediat executate; etapa ce este simultan activat i dezactivat este considerat activ; mai multe tranziii simultan executabile sunt simultan executate.

Modelarea proceselorprin metodaGRAFCET

O variabil de intrare de durat foarte mic este considerat un eveniment. n reprezentarea d tip Grafcet este introdus o variabil d temporizare t/i/D o de f d b l de variabil logic care va fi egal cu 1, dac a trecut un interval de timp D, din momentul ultimei treceri a etapei i de la starea inactiv la starea activ. Pentru exemplu din figura a este prezentat modul de efectuare a tranziiilor prin diagrama di fi di din figura b b.
1 0 1 b 0 1 Xi 0 1 Xi 0 1 t/i+1/10 s 0 1 01 t/i+1/20 s 0 a

i 0 Ti a

i+1 0 Ti+1 a) b

10 s 20 s b)

Modelarea proceselorprin metodaGrafcet

unde: Xi reprezint starea etapei i, iar Xi+1 reprezint starea etapei i+1; t/i+1/10s i t/i+1/20s sunt variabile de temporizare raportate la etapa ; i+1; a i b funcii de receptivitate. Aciunile pot fi mprite n dou categorii: aciuni de nivel impulsiv i aciuni de nivel (care pot fi condiionate sau necondiionate). Aciunile de nivel sunt definite numai pentru situaii stabile. Aciunile impulsive au durat foarte scurt i realizeaz schimbarea unei variabile sau contorizarea unei mrimi. Aceste aciuni pot f ieiri pentru sistemul modelat. Funcia d fi l d l de receptivitate poate fi un eveniment extern sau un eveniment i o condiie.

Macroetapeipseudo Macroetapeipseudo macroetape

Macroetapele i pseudo macroetapele sunt utilizate pentru descrierea pseudomacroetapele sistemelor complexe. Acestea permit detalierea separat a unor pri din GRAFCET.
5 M30

Macroetapa are numai o intrare i o ieire. Execuia unei tranziii nainte de macroetap conduce la activarea etapei de intrare din descrierea macroetapei. Pseudomacroetapa reprezint Pseudo macroetapa reprezint o parte din GRAFCET care este reprezentat concentrat. Aciunile sunt reprezentate de aciunile ce aparin etapelor ce intr n descrierea pseudo-macroetapei.

ii

Aciuni A i i i

Modelarea sistemelor prin Reele p Petri Noiunigenerale

Aparatul matematic al acestei metode a fost pus la punct de matematicianul german Carl Adam Petri n perioada 1960 1962, descriind relaiile existente ntre condiii i evenimente evenimente. Primele cercetri privind modelarea sistemelor de producie prin aceast metod, au fost fcute n SUA la MIT (Massachusetts Institute of Tehnology) la nceputul anilor 1970. Aceast metod de modelare este de tip graf orientat, utiliznd dou tipuri de noduri: poziii i tranziii. O poziie este reprezentat printrun cerc i tranziia printro linie (unii autori reprezint tranziia printr un dreptunghi) printrun 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.

Modelarea sistemelor prin Reele Petri t i Noiunigenerale

Marcaje
Fiecare poziie conine un numr ntreg (pozitiv) p g (p ) 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 M1={m1, m2, m3, ....., mn} Marcajul la un moment dat definete starea R.P. Evoluia strilor corespunde deci evoluiei o u a st o co espu de dec e o u e 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 R.P. R.P. cel a unui Grafcet. Marcajul unei R.P. este numeric pe cnd marcajul unui Grafcet este boolean.

Modelarea sistemelor prin Reele p Petri Noiunigenerale

Execuiatranziiilor 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. 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).

ReelePetri ReelePetri particulare

n cadrul Reelelor Petri sunt definite urmtoarele structuri particulare: a) Graf de stri O reea Petri este un graf de stri dac i numai dac toate tranziiile au o singur poziie de intrare i o poziie de ieire.

ReelePetri ReelePetri particulare

Vom avea graf de stri marcat dac reeaua conine un singur marcaj, deci dac se afl ntro singur stare la un moment dat.

b)Grafdeevenimente O reea Petri este un graf de evenimente dac i numai dac toate poziiile au exact o tranziie de intrare i o tranziie de ieire. Graful de evenimente este dualul unui graf de stri. Exemplu l

ReelePetri ReelePetri particulare

c)ReelePetrifrconflict SuntreelePetrincaretoatepoziiileaucelmult otranziiedeieire. UnconflictcorespundeexisteneiuneipoziiiP1 U fli t d i t i i iiiP carearecelpuindoutranziiideieire. P(T1,T2) conflict. Vomnotaacestconflictprinpoziiarespectivi ansambluldetranziii.

ReelePetri ReelePetri particulare

d) Reele Petri cu alegere liber O reea Petri cu alegere liber este o R. P. n care pentru toate conflictele Pi (T1, T2, T3,....,Tj ), nici o tranziie T1, T2, T3, ...., Tj nu are p p alt poziie de intrare dect poziia Pi . e) Reele Petri simple Sunt reelele Petri n care tranziiile nu pot fi raportate dect la un conflict cel mult. Altfel spus, dac exist o tranziie T1 i dou conflicte P (T T ) i P (T T ) atunci R P nu este simpl. fli P1(T1,T2 i P2 (T1, T3 i R.P. i l Reelele Petri simple includ ansamblul R.P. cu alegere liber, care includ ansamblul R.P. fr conflict, care includ la rndul lor grafurile de evenimente. e e e te

ReelePetri ReelePetri particulare

ReelePetripure SuntreelePetrincarenuexisttranziiiavndpoziiideintrarece suntipoziiideieiredinaceeatranziie.
f)

VomspunencazulIIcT3estetranziieimpur.

ReelePetri ReelePetri particulare

Proprietate Toate reelele impure pot fi transformate n reele Petri pure. Aceast proprietate este reprezentat n exemplul urmtor.

P1 este o poziie avnd T1 tranziie de intrare/ieire intrare/ieire. T1 tranziie impur. Vom nlocui tranziia T1 cu dou tranziii T1/i T1/ /(T1/tranziie de nceput i T1/ /tranziie de sfrit) i o poziie p pentru care T/1 este o tranziie de intrare, iar T//1este tranziie de / , // ieire.

ReelePetri ReelePetri particulare

n prima faz poate fi executat T/1, apoi T//1 sau T/1. La pasul urmtor va trebui obligatoriu s se efectueze T//1. Vom aduga o poziie Po avnd rolul de a asigura executarea n aceast ordine tranziiilor T/1 i T//1. Dac tranziia T/1 sa executat P0 nu va mai conine marcaje i singura tranziie posibil este T//1.

ReelePetri l t i p particulare
g) Reele Petri fr bucle O reea Petri este fr bucle dac pentru orice tranziie TJ avnd simultan poziia PJ la intrare i ieire, exist cel puin o alt poziie de p , p p intrare n tranziia TJ . Putem spune c mulimea R.P. fr bucle include ansamblul de R.P. pure.

TipurideReelePetri
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 PiTj are valoarea p, aceasta reprezint c tranziia Tj nu j p p j 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 TjPi avnd valoarea p, n urma efecturii j j g p 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).

TipurideReelePetri
nfigurademaijosestereprezentatR.P.generalizat. nfigurademaijosestereprezentatR P generalizat

arculP1T1arevaloarea3; arculP1 T1arevaloarea3 arculP2T1arevaloarea1; arculT1P4arevaloarea2;

TipurideReelePetri
Reele Petri cu capaciti O reea Petri cu capaciti este o R.P. n care capaciti (numere ntregi i pozitive) sunt asociate poziiilor. Execuia unei tranziii de intrare ntro poziie Pi avnd capacitatea p p cap(Pi) nu este posibil dect dac execuia acestei tranziii nu ne conduce la un numr de marcaje n Pi care depesc aceast capacitate. Toate R P cu capaciti pot fi transformate n R P ordinare R.P. R.P. ordinare.

TipurideReelePetri
Reele Petri cu predicate Reele Petri cu predicate conin poziii i tranziii interpretate: arcul P1 T1 are eticheta A arcul T1 P2 are eticheta B

TipurideReelePetri
ReelePetricolorate ntro Reea Petri informaia este coninut de poziii. Prezena unui marcaj ntro poziie poate, de exemplu s modeleze o main disponibil. Dac aceast poziie este vid, aceasta semnific c maina este ocupat sau defect Mai multe marcaje situate n aceeai poziie ocupat, defect. poate reprezenta un numr de piese identice sau o valoare. Dac vrem s mbogim informaia purtat de o poziie ntro Reea g j Petri, astfel nct s fie n msur s disting dou marcaje ntre ele, putem asocia un identificator sau o culoare fiecrui marcaj din poziie, iar informaia va fi reprezentat de ansamblul poziie culoare. Sa definit astfel o nou metod de modelare reprezentat de Reele Petri Colorate Colorate. ntro Reea Petri Colorat (RPC), fiecare tranziie poate fi executat n diferite maniere, reprezentate de diferitele culori de execuie ce sunt asociate tranziiei.

TipurideReelePetri
Relaia ntre culoarea de execuie i marcajul colorat coninut este definit de funciile asociate arcelor. O funcie este asociat fiecrui arc pentru a traduce relaia care este ntre culoarea asociat tranziiei aleas pentru a executa aceast tranziie i culoarea poziiei corespunztoare. t ii i l ii i t n RP Colorate, funcia identic, notat id este asociat arcelor care nu realizeaz nici o transformare de culoare, cu alte cuvinte, execuia p 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. ReelelePetricolorateconinmarcajecrorasuntatribuitediverse culori.Acestereeleprezintinteresnmodelareasistemelor culori Acestereeleprezintinteresnmodelareasistemelor complexe. ToatereelelePetricolorateavndunnumrdeculorifinitpotfi transformatenR.P.ordinare.

TipurideReelePetri
e) Reele Petri cu arce inhibatoare Un arc inhibator este un arc orientat care pleac de la o poziie, pentru a ajunge la o tranziie. Extremitatea sa este marcat printrun mic cerc. Arcul inhibator ntre Pi i Tj va schimba modul de efectuare a tranziiei Tj . n acest caz tranziia va fi valid numai dac poziia Pi nu conine marcaje. Execuia tranziiei Tj const n luarea unui marcaj din fiecare poziie j j p de intrare cu excepia poziiei Pi i adugarea unui marcaj n fiecare poziie de ieire din tranziia Tj.

TipurideReelePetri

f)ReelePetricuprioriti O astfel de reea este utilizat dac vrem s impunem o alegere ntre mai multe tranziii valide. Ea este compus dintro R.P. i o relaie de ordine parial ntre tranziiile reelei. Dac mai multe tranziii sunt valide va putea fi efectuat acea tranziie cu prioritatea cea mai mare.

TipurideReelePetri
g) Reele Petri neautonome Reelele Petri neautonome pot fi sincronizate i/sau temporizate. Aceast clas de reele este important din punct de vedere practic. Ele nu pot fi transformate n R.P. ordinare. h) Reele Petri continue Aceste reele au particularitatea c marcajul unei poziii este un numr real. Execuia tranziiilor se efectueaz n flux continuu. Aceste reele permit modelarea sistemelor care nu pot fi modelate prin R.P. ordinare. i)ReelePetriautonomeineautonome R.P.autonomepermitoaproximarecalitativ. auto o e pe t o ap o a e cal tat ntroR.P.autonomspunemcotranziiepoatefiexecutat daceaestevalid,darnutimcndvafiexecutat.

TipurideReelePetri
ReelelePetrineautonomepotfi:
ReelePetriTemporizate; ReelePetriSincronizate.

ntroR.P.sincronizat,lafiecaretranziieesteasociatun ntroR P sincronizat lafiecaretranziieesteasociatun evenimentiexecuiaacesteitranziiisevaefectuadactranziia estevalidcndevenimentulasociatseproduce. R.P.neautonomepotmodelasistemencaretranziiilesunt eauto o e pot ode a s ste e ca e t a e su t sincronizatecuevenimenteleexterneisauncareevoluiaeste nfunciedetimp.

CaracteristicileReelelor Petri
Viabilitatea O reea Petri este utilizat pentru a descrie un sistem i al studia. Modelul este corect dac R. P. este viabil adic nu exist blocaje tranziie poate fi executat plecnd din poziia iniial printro succesiune d t i de tranziii. iii Limitarea Limitare este proprietatea R. P. de a conine un numr de marcaje finit. finit Reiniializarea Reiniializarea este proprietatea reelelor Petri ca dup o succesiune e a a ea p op etatea ee e o et succes u e finit de tranziii s revin la marcajul iniial. Analiza modelelor realizate prin reele Petri au la baz aceste proprieti, ce pot fi extrase studiind modelele sau prin simularea acestora. acestora

Ecuaiadestareareelelor Petri

Ecuaiadestareareelelor Petri
Matricea de inciden este independent de marcaj Dac o R P este marcaj. R.P. 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 urmtoare avem secvena S=T2 notat cu Mi(T2 ). i 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 .

Ecuaia fundamental a RP va fi:

Ecuaia destare a reelelor Petri

Ecuaiadestareareelelor Petri
PentruexemplulnostruS =(0100). (0100) DacsecvenadetranziiiesteMi(SMk)atuncivomavearelaia fundamental: Mk=Mi+W*SPentruexempluldatavem: k i l ld

Ecuaiadestareareelelor Petri
PentrusecvenadeexecuieS =T3,T4,T1,T3avemvectorulcaracteristicS PentrusecvenadeexecuieS'=T3 T4 T1 T3avemvectorulcaracteristicS =(1,0,2,1) Mk=Mi+W*S Mf=Mk+W*S unde Mf=Mk+W*S'unde

Componenteconservativei invarianiimarcajelor
Exemplu

nexempluldatobservmctotdeaunaosingurpoziievafi marcatsaulaunmomentdatexistunsingurmarcajpentru l d i i j cele4poziii. Putemscrie

Exemplu

Componente conservativei invarianii i i ii marcajelor

Componenteconservativei invarianiimarcajelor
Succesiunea tranziiilor n acest exemplu este T1, T2, T3. Putem observa c se afl totdeauna un singur marcaj n ansamblul p 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. Fie o R.P. i P P ansamblul poziiilor. Avem un invariant liniar de poziii, dac o mulime P' P i un vector de ponderi (q1, q2,..., qr) toate valorile astfel nct: q1 M(P1)+q2 M(P2)+.......qr M(Pr)=constant , Ansamblul poziiilor P este o component conservativ P conservativ.

Componenteconservativei invarianiimarcajelor
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 iniial. Considerm un vector de ponderi de poziii F = (q1, q2,..., qn) astfel nct fiecare pondere qi g g 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 P. Considerm R.P. din figura alturat.

Componenteconservativei invarianiimarcajelor
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 ) ( ) ( , , 4 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 printro succesiune de tranziii S S. DecidacFT*W=0vomaveaFT*Mi=FT*M0,pentruoricevaloare aluiSioricevaloareMiM0*. VomspunecFT*Miesteuninvariantdemarcaje.Altfelspus numruldemarcajedinmulimeaP(F),ponderatprinvectorulF ld j di li d i l esteconstant.

Componenteconservativei invarianiimarcajelor
Pentruexemplulconsiderat:

AnsamblulpoziiilorP(F)=(P1,P2,P4)esteocomponent conservativ.

Componenterepetitivei invarianiitranziiilor
Secveneledeexecuieatranziiilorcaresuntposibileplecnddela marcajuliniialM0dinfiguraurmtoarepotfiurmtoarele:T1,T1T2, T1T2T3,T1T2T3T4,T1T2T3T4T1etc. SecvenaT1T2T3T4,seevideniazprinfaptulcT1T2T3T4,M0, conducelastareainiial.Aceastsecvenesterepetitiv.

Componenterepetitivei invarianiitranziiilor
O secven care conine toate tranziiile este o secven repetitiv complet. Simbolurile utilizate in reprezentarea secvenelor de tranziii sunt urmtoarele: T1+T2=T2+T1 reprezint T1sauT2; T1T2 indic T1 urmat de T2; T1T2=T12 reprezint T1 executat de dou ori; T1T2T3 este o secven de lungime 3; g secven de lungime nul; T1(T2+T3)=T1T2+T1T3 reprezint T1 urmat de T2 sau T3; (T1+T2)T3=T1T3+T2T3 T1 sau T2 urmat de T3. FieSkosecvendetranziiiiNk(Tj)numrulderepetriatranziieiTjn secvenaSk. DeexemplulpentrusecvenadetranziiiT1T1T2dinreeauadinfigura urmtoare,vomaveaNk(T1)=2iNk(T2)=1.

Componenterepetitivei invarianiitranziiilor i i iit iiil

Proprietateacomuntuturorsecvenelordeexecuieeste urmtoarea: VomspunecavansulsincronicaluiT1asupraluiT2nupoate depi2icT2nupoateaveaavanssincronicfadeT1. VomnotacafiindavanssincronicaluiAk(T1,T2)=Nk(T1)Nk(T2) VomnotacafiindavanssincronicaluiAk(T1 T2) Nk(T1) Nk(T2) T1asupraluiT2pentruSki Amax(T1,T2)=max(Nk(T1,T2) avansulsincronicmaximalpentru mulimeasecvenelorSk. mulimeasecvenelorSk Avansulsincronicmaximalconstituieuninvariantrelativlaexecuia tranziiilor.Valoarealuidepindedemarcajuliniial.Pebaza definiiilor putemscrie: Ak(T1,T3)=Ak(T1,T2)+Ak(T2,T3)i Amax(T1,T3)<=Amax(T1,T2)+Amax(T2,T3)

Componenterepetitivei invarianiitranziiilor
Vectorul de ponderi care lam considerat are acum un corespondent n vectorul caracteristic S . Vom nota T(S) ansamblul de tranziii care apar n S deci care corespund S, elementelor nenule. Proprietate. Fie D un ansamblu de tranziii. Ansamblul de tranziii este o component repetitiv (staionar) dac i numai dac exist o secven de d execuie S astfel T( S ) = D i W*S= 0. f l nct ( S D este o component repetitiv cresctoare dac W*S> 0 . Dac S este o secven repetitiv plecnd din marcajul M1*M0 i dac S este o secven de tranziii plecnd din M2 *M0 atunci S este de asemenea o secven repetitiv plecnd din marcajul M2. Aceast proprietate decurge din ecuaia fundamental.

Componenterepetitivei invarianiitranziiilor
Proprietate. Pentru toate poziiile Pi ale unei Reele Petri ordinare, avem proprietatea urmtoare: Semnificaia intuitiv a acestei proprieti este urmtoarea: dac Mo(Pi)>0, este posibil s executm una din tranziiile de ieire din Pi nainte s executm o tranziie de intrare n Pi lucru ce poate fi scris prin relaia Ak(Pi0 , 0Pi ) =1. Aceast operaie o putem repeta de maximum M0(P) ori. Dac aceasta poziia Pi nu va mai conine marcaje i tranziiile Pio nu vor mai fi validate.

Grafuridemarcaje
Grafuldemarcajeestecompusdin: G f ld j t di noduricarecorespundmarcajeloraccesibile; arcecorespunzndexecuieitranziiilor. p

GrafuldemarcajecorespunztorReeleiPetriprezentatn figurademaisusesteurmtorul. fi d i l

Grafuridemarcaje

Cu ajutorul acestui graf de marcaje putem s gsim proprietile RP: limitat nici o poziie nu are mai mult de dou marcaje; nu este viabil are 2 blocaje nu blocaje; nu este reiniializabil.

Grafuridemarcaje
Pentru R P din figura urmtoare tranziia T1 este valid R.P. valid.

Dac se execut va fi un marcaj n P1 vom avea apoi dou tranziii valide T1 si T2. Dac executm T1vom avea dou marcaje in P1 i aa mai departe. d t Putem ncepe s construim graful de marcaje. Dar nul putem construi pentru c nu este limitat, numrul de marcaje accesibile este infinit.

Grafuridemarcaje

Se poate construi un arbore acoperitor care posed un numr finit de noduri, prin p p p p construcie. Un arbore este un graf particular n care nu exist bucle i nici circuite. Cu alte cuvinte dac nu vom ine seama de orientarea arcelor, dou noduri oarecare sunt unite printr un singur ir de arce. Construim arborele de acoperire pentru exemplul considerat. Plecnd de la marcajul iniial M0 putem executa T1 i trecem n M1 (M1>M0). Execuia tranziiei T1 se poate repeta de cte ori dorim. Vom asocia atunci poziiei P1, marcajul simbolic m, care reprezint c numrul de marcaje in P1 poate s ating un numr ntreg K la fel de mare ca cel care dorim prin abuz de limbaj l vom intitula w care reprezint o dorim, infinitate de marcaje posibile.

Grafuridemarcaje
Plecnd de la marcajul (m) sunt dou tranziii valide T1 si T2 T2. Dac sunt k marcaje n P1, dup tranziie vor fi K+1 marcaje dac se j execut T1 i K1 marcaje dac se execut T2. Aceste numere k+1 i k1 pot fi la rndul lor la fel de mari, ct dorim i le vom atribui simbolul w. Arborele obinut este prezentat n figura urmatoare.

Paralelismul O structur de execuie n paralel a dou secvene S1 i S2 poate fi reprezentat ca n figura urmtoare. La execuia tranziiei T1 poziiile P1 i P2 sunt activate simultan, evoluia ulterioar realiznduse pe dou d ramuri paralele pn l l la efectuarea tranziiei T2.

Structuricepotfivizualizate cuajutorulR.P.

Structuricepotfivizualizate cuajutorulR.P.
Sincronizarea Sincronizarea n cadrul unui model poate fi realizat prin dou metode: metoda ntlnirii; metoda semaforului. n primul caz sincronizare a dou secvene separate se realizeaz printro tranziie comun T1, iar n al doilea caz prin intermediul unei poziii P1, care permite efectuarea tranziiei T2 numai dup ce a fost realizat tranziia T1 din secvena S1. Execuia operailor din prima secven S1 este sincronizat cu efectuarea operailor din a doua secven prin intermediul tranziiei T1 T1.

Structuricepotfivizualizate cuajutorulR.P. Partajarea resurselor

n situaia n care dou secvene de operaii S1 i S2 utilizeaz aceeai resurs comun putem realiza o structur de tipul celei reprezentate n figura urmtoare. Poziia P0 reprezint resursa comun. Faptul c aceast poziie este marcat semnific c resursa este disponibil. Cnd se vor executa una din tranziiile T1 sau T5 resursa va fi preluat de secvena S1 sau S2. Cealalt secven va putea utiliza resursa numai dup ce aceasta este eliberat de secvena care o utilizeaz. Eliberarea resursei se realizeaz prin p efectuarea tranziiei T4 sau T8, care va conduce la introducerea unui marcaj n poziia P0.

Structuricepotfivizualizate cuajutorulR.P.
Memorarea Structurile de memorare pot realiza memorarea efecturii unei tranziii sau a unui numr. n primul caz (a) execuia tranziiei T1 este memorat de ctre marcajul poziiei P0 iar n cazul (b) memorarea numrului este realizat prin marcajul poziiei P1.

Structuricepotfivizualizate cuajutorulR.P.
Citirea unui marcaj Aceast operaie este reprezentat de efectuarea unei tranziii ce este condiionat de marcajul unei poziii care nu se modific n urma execuiei aceste tranziii tranziii. Execuia lui T1 este condiionat de marcajul P1, fr sl modifice.

Structuricepotfivizualizate cuajutorulR.P.
Capacitate limitat Aceast structur este utilizabil n cazul n care nu folosim RP cu capaciti. Execuia tranziiei T1 nu este posibil d poziia P1 conine cel puin b l dac l dou marcaje.