Conceptul de sistem

Dezvoltarea metodelor de calcul i a tehnicilor specifice de lucru n domeniul cercetrii tiinifice va permite implementarea tipului matematic de gndire n manier sistemic. Conceptul de sistem a fost definit de mai muli autori i poate fi formulat astfel: complex de elemente aflate n interaciune; Zadeh - definete sistemul ca un obiect abstract, caracterizat n principal prin conexiunea perechilor de mrimi intrare/ieire; modelul matematic al unui proces; o mulime de obiecte care se coreleaz ntre ele sau mulimea de obiecte unite printr-o 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.

Conceptul de sistem

Procesele modelate sunt caracterizate de anumite 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; variaia unui stoc de mrfuri, de exemplu combustibil; repartiia puterii active ntre centralele unui sistem electroenergetic; gospodrirea investiiilor; elaborarea economic a unui amestec de produse, determinarea reelei de combustibili solizi; amplasarea unitilor de producie (fabrici, centrale electrice); msuri ce se iau n caz de avarie.

Conceptul de sistem

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

Conceptul de sistem

Modul de observare i influenare a fenomenelor de organizare a parcurs dou etape:

prima etap a avut un caracter empiric fenomenul este cunoscut pe baza experienei personale, 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.

Cercetarea operaional

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

Modelul matematic

Metoda de cercetare specific cercetrii operaionale este metoda modelrii matematice. Modelarea matematic reproduce la scar, prin intermediul simbolurilor, o parte a realitii, o mulime de evenimente, o teorie dintr-un 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.

Modelul matematic

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

Modelul matematic

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.

Verificarea modelelor se realizeaz prin simulare. Modelele generale n teoria cercetrii operaionale se pot clasifica n:
modele modele modele modele modele modele modele liniare i modele neliniare; deterministe i probabiliste; discrete i continue; algoritmice; inteligente; staionare i dinamice; micro i macroindustriale.

Modelul matematic

Modelele liniare opereaz cu relaii matematice la care variabilele au exponenii egali cu 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 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.

Modelul matematic

Modelul macroindustrial se elaboreaz pentru descrierea matematic a activitilor de la nivelul ramurii industriale, a activitilor de la nivelul naional sau mutinaional. 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. 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.

Modelul matematic

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 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 sincronizate prin schimbul de mesaje.

Modelarea proceselor prin metoda Grafcet

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

- etap inactiv2. - etap activ - etap iniial

.2
0

Fig. 1 - Reprezentarea etapelor

Modelarea proceselor prin metoda Grafcet

Tranziiile sunt reprezentate ca n figura urmtoare. Fiecrei tranziii i este asociat o funcie numit funcie de receptivitate Ri, Ri = funcie(variabile de 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.

a) Ti

jonciune I Ri c) Ti Ri

b)

Ti

Ri

distribuie I

jonciune i distribuie

Modelarea proceselor prin metoda Grafcet

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

Ti

Ti+
1

i Ti a) jonciune SAU a) distribuie SAU

Ti+
1

Modelarea proceselor prin metoda Grafcet

O tranziie poate s nu aib etape 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 ntr-un dreptunghi asociat etapelor, acestea putnd fi executate cnd etapa respectiv este activ.

Aciuni i

Ti

Ri

i+1

Aciuni i+1

Modelarea proceselor prin metoda Grafcet

O tranziie este executabil dac urmtoarele dou condiii sunt ndeplinite:

Execuia unei tranziii const n a dezactiva toate etapele dinaintea tranziiei i a activa toate etapele de dup. Aceste operaii sunt indisociabile i sunt executate simultan. Execuia unei astfel de tranziii este considerat de durat nul. Reguli de execuie a tranziiilor:

toate etapele care preced tranziia sunt active (se spune c tranziia este valid); funcia de receptivitate asociat tranziiei are valoare adevrat.

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 proceselor prin metoda Grafcet

O variabil de intrare de durat foarte mic este considerat un eveniment. n reprezentarea de tip Grafcet este introdus o variabil de temporizare t/i/D - o 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 din figura b. i 1 0 1 b 0 1 Xi 0 1 Xi 0 1 t/i+1/10 s 0 01 t/i+1/20 s 0 a

0
Ti a

i+1 0 Ti+1 b

10 s 20 s

a)

b)

Modelarea proceselor prin metoda Grafcet

- 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 fi ieiri pentru sistemul modelat. Funcia de receptivitate poate fi un eveniment extern sau un eveniment i o condiie.

Macroetape i pseudo-macroetape

Macroetapele i pseudo-macroetapele sunt utilizate pentru descrierea 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. 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 i

Modelarea sistemelor prin Reele Petri Noiuni generale

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. 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 printr-un cerc i tranziia printro 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.

Modelarea sistemelor prin Reele Petri Noiuni generale

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.

Modelarea sistemelor prin Reele Petri Noiuni generale

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

Reele Petri - 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.

Reele Petri - particulare

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

b) Graf de evenimente 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

Reele Petri - particulare

c) Reele Petri fr conflict Sunt reele Petri n care toate poziiile au cel mult o tranziie de ieire.

Un conflict corespunde existenei unei poziii P1 care are cel puin dou tranziii de ieire. P(T1, T2) - conflict. Vom nota acest conflict prin poziia respectiv i ansamblul de tranziii.

Reele Petri - 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 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 P1(T1,T2 ) i P2 (T1, T3 ) atunci R.P. nu este simpl. 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.

Reele Petri - particulare

Reele Petri pure Sunt reele Petri n care nu exist tranziii avnd poziii de intrare ce sunt i poziii de ieire din aceea tranziie.
f)

Vom spune n cazul II c T3 este tranziie impur.

Reele Petri - 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. 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 pentru care T/1 este o tranziie de intrare, iar T//1este tranziie de ieire.

Reele Petri - 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 s-a executat P0 nu va mai conine marcaje i singura tranziie posibil este T//1.

Reele Petri - 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 intrare n tranziia TJ . Putem spune c mulimea R.P. fr bucle include ansamblul de R.P. pure.

Tipuri de Reele Petri

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

Tipuri de Reele Petri

n figura de mai jos este reprezentat R.P. generalizat.

arcul P1-T1 are valoarea 3; arcul P2-T1 are valoarea 1; arcul T1-P4 are valoarea 2;

Tipuri de Reele Petri

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 ntr-o poziie Pi avnd capacitatea 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.

Tipuri de Reele Petri

Reele Petri cu predicate Reele Petri cu predicate interpretate: -arcul P1- T1 are eticheta A -arcul T1- P2 are eticheta B

conin

poziii

tranziii

Tipuri de Reele Petri

Reele Petri colorate

ntr-o Reea Petri informaia este coninut de poziii. Prezena unui marcaj ntr-o 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 poate reprezenta un numr de piese identice sau o valoare. Dac vrem s mbogim informaia purtat de o poziie ntr-o Reea 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. S-a definit astfel o nou metod de modelare reprezentat de Reele Petri Colorate. ntr-o Reea Petri Colorat (RPC), fiecare tranziie poate fi executat n diferite maniere, reprezentate de diferitele culori de execuie ce sunt asociate tranziiei.

Tipuri de Reele Petri

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. n RP Colorate, funcia identic, notat id este asociat arcelor care nu realizeaz nici o transformare de culoare, cu alte cuvinte, execuia 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. Reelele Petri colorate conin marcaje crora sunt atribuite diverse culori. Aceste reele prezint interes n modelarea sistemelor complexe. Toate reelele Petri colorate avnd un numr de culori finit pot fi transformate n R.P. ordinare.

Tipuri de Reele Petri

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 printr-un 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 de intrare cu excepia poziiei Pi i adugarea unui marcaj n fiecare poziie de ieire din tranziia Tj.

Tipuri de Reele Petri

f) Reele Petri cu prioriti O astfel de reea este utilizat dac vrem s impunem o alegere ntre mai multe tranziii valide. Ea este compus dintr-o 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.

Tipuri de Reele Petri

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) Reele Petri autonome i neautonome R.P. autonome permit o aproximare calitativ. ntr-o R.P. autonom spunem c o tranziie poate fi executat dac ea este valid, dar nu tim cnd va fi executat.

Tipuri de Reele Petri

Reelele Petri neautonome pot fi:

Reele Petri Temporizate; Reele Petri Sincronizate.

ntr-o R.P. sincronizat, la fiecare tranziie este asociat un eveniment i execuia acestei tranziii se va efectua dac tranziia este valid cnd evenimentul asociat se produce. R.P. neautonome pot modela sisteme n care tranziiile sunt sincronizate cu evenimentele externe i sau n care evoluia este n funcie de timp.

Caracteristicile Reelelor Petri

Viabilitatea O reea Petri este utilizat pentru a descrie un sistem i a-l studia. Modelul este corect dac R. P. este viabil adic nu exist blocaje-tranziie poate fi executat plecnd din poziia iniial printr-o succesiune de tranziii. Limitarea Limitare este proprietatea R. P. de a conine un numr de marcaje finit. Reiniializarea Reiniializarea este proprietatea reelelor Petri ca dup o succesiune 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.