Sunteți pe pagina 1din 136

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
reetei 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 liniare i modele neliniare;


modele deterministe i probabiliste;
modele discrete i continue;
modele algoritmice;
modele inteligente;
modele staionare i dinamice;
modele 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.

.2

- etap activ

- etap iniial

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

a)

b)

Ti

Ri

Ti

Ri

c)

distribuie
I

Ti

Ri

jonciune i
distribuie

Modelarea proceselor prin


metoda GRAFCET
Cnd dou sau mai multe linii se conecteaz la aceeai etap

ele se regrupeaz.

Ti

Ti+

Ti+

Ti

a)

jonciune
SAU

a)

distribuie
SAU

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

Ri

Ti

i+1

Aciuni i+1

Modelarea proceselor prin


metoda GRAFCET
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


indisociabile i sunt executate simultan. Execuia unei astfel de
tranziii este considerat de durat nul.
Reguli de execuie a tranziiilor:

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
0

Ti

i+1
0
Ti+1

a)

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

10 s
20 s

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 pseudomacroetape

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

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 conin poziii i tranziii interpretate:


-arcul P1- T1 are eticheta A
-arcul T1- P2 are eticheta B

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

Ecuaia de stare a reelelor


Petri

Ecuaia de stare a reelelor


Petri

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

Ecuaia fundamental a RP va fi:

Ecuaia
de stare
a
reelelor
Petri

Ecuaia de stare a reelelor


Petri

Pentru exemplul nostru S = (0100) .

Dac secvena de tranziii este Mi(S Mk ) atunci vom avea relaia


fundamental:

Mk= Mi+W*S Pentru exemplul dat avem:

Ecuaia de stare a reelelor


Petri

Pentru secvena de execuie S'=T3, T4, T1, T3 avem vectorul caracteristic S


=(1, 0, 2, 1)

Mk=Mi+W*S

Mf =Mk+W*S' unde

Componente conservative i
invarianii marcajelor

Exemplu

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

Exemplu

Componente
conservative i
invarianii
marcajelor

Componente conservative i
invarianii marcajelor
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.
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.

Componente conservative i
invarianii marcajelor
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 alturat.

Componente conservative i
invarianii marcajelor
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.
Deci dac FT*W=0 vom avea FT*Mi = FT*M0, pentru orice valoare
a lui S i orice valoare Mi 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.

Componente conservative i
invarianii marcajelor
Pentru exemplul considerat:

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

conservativ.

Componente repetitive i
invarianii tranziiilor

Secvenele de execuie a tranziiilor care sunt posibile plecnd de la


marcajul iniial M0 din figura urmtoare pot fi urmtoarele:T1, T1T2,
T1T2T3, T1T2T3T4, T1T2T3T4T1 etc.
Secvena T1T2T3T4, se evideniaz prin faptul c T1T2T3T4,
M0 ,
conduce la starea iniial. Aceast secven este repetitiv.

Componente repetitive i
invarianii tranziiilor

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;
- 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.
Fie Sk o secven de tranziii i Nk(Tj) numrul de repetri a tranziiei Tj n
secvena Sk .
De exemplul pentru secvena de tranziii T1T1T2 din reeaua din figura
urmtoare , vom avea Nk(T1) =2 i Nk(T2 ) =1.

Componente repetitive i
invarianii tranziiilor
Proprietatea comun tuturor secvenelor de execuie este

urmtoarea:

Vom spune c avansul sincronic a lui T1 asupra lui T2 nu poate


depi 2 i c T2 nu poate avea avans sincronic fa de T1.
Vom nota ca fiind avans sincronic a lui Ak( T1, T2) = Nk( T1) Nk( T2)
T1 asupra lui T2 pentru Sk i
Amax(T1, T2) = max (Nk(T1,T2) - avansul sincronic maximal pentru
mulimea secvenelor Sk .
Avansul sincronic maximal constituie un invariant relativ la execuia
tranziiilor. Valoarea lui depinde de marcajul iniial. Pe baza
definiiilor
putem scrie:
Ak(T1, T3) = Ak(T1, T2)+Ak(T2, T3 ) i
Amax( T1, T3) <= Amax( T1, T2) + Amax( T2, T3)

Componente repetitive i
invarianii tranziiilor
Vectorul de ponderi care l-am considerat are acum un corespondent n

vectorul caracteristic S .
Vom nota T(S) ansamblul de tranziii care apar n S, deci care corespund
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 execuie S astfel nct T( S ) = D i W*S= 0.
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.

Componente repetitive i
invarianii tranziiilor
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.

Grafuri de marcaje
Graful de marcaje este compus din:
noduri care corespund marcajelor accesibile;
arce corespunznd execuiei tranziiilor.

Graful de marcaje corespunztor Reelei Petri prezentat n

figura de mai sus este urmtorul .

Grafuri de marcaje

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

Grafuri de marcaje

Pentru R.P. din figura urmtoare tranziia T1 este 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.
Putem ncepe s construim graful de marcaje. Dar nu-l putem construi
pentru c nu este limitat, numrul de marcaje accesibile este infinit.

Grafuri de marcaje

Se poate construi un arbore acoperitor care posed un numr finit de noduri, prin
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 printrun 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
infinitate de marcaje posibile.

Grafuri de marcaje

Plecnd de la marcajul (m) sunt dou tranziii valide T1 si T2.

Dac sunt k marcaje n P1, dup tranziie vor fi K+1 marcaje dac se
execut T1 i K-1 marcaje dac se execut T2.
Aceste numere k+1 i k-1 pot fi la rndul lor la fel de mari, ct dorim i le
vom atribui simbolul w. Arborele obinut este prezentat n figura
urmatoare.

Structuri ce pot fi vizualizate


cu ajutorul R.P.

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 realizndu-se pe
dou ramuri paralele pn
la efectuarea tranziiei T2.

Structuri ce pot fi vizualizate


cu ajutorul R.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 printr-o
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.

Structuri ce pot fi vizualizate


cu ajutorul
R.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
efectuarea tranziiei T4 sau T8, care va
conduce la introducerea unui marcaj n
poziia P0.

Structuri ce pot fi vizualizate


cu ajutorul R.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.

Structuri ce pot fi vizualizate


cu ajutorul R.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.

Execuia lui T1 este condiionat de marcajul P1, fr s-l modifice.

Structuri ce pot fi vizualizate


cu ajutorul R.P.

Capacitate limitat

Aceast structur este utilizabil n cazul n care nu folosim RP cu


capaciti.

Execuia tranziiei T1 nu este posibil dac poziia P1 conine cel puin


dou marcaje.

Retele Petri neautonome


R.P. autonome permit o aproximare calitativa.

ntr-o R.P. autonoma spunem ca o tranziie poate fi


executata daca ea este valida, dar nu tim cnd va fi executata.

Reelele Petri neautonome pot fi:

Reele Petri Temporizate;

Reele Petri Sincronizate.

ntr-o R.P. sincronizat, la fiecare tranziie este asociat un


eveniment si execuia acestei tranziii se va efectua daca
tranziia este valida cnd evenimentul asociat se produce.

R.P. neautonome pot modela sisteme n care tranziiile


sunt sincronizate cu evenimentele externe si sau n care
evoluia este n funcie de timp.

Retele Petri sincronizate


O R.P. sincronizata este un triplet < R , E , Sync > unde:

R - este o R.P. marcata;

E - este un ansamblu de evenimente externe;

Sync - este o aplicaie : T E U{e}; e - evenimentul


totdeauna produs

E = {E1 , E2 , .....} este un ansamblu de evenimente


externe.

Analiza de caz

.
P
1
T1

producere E
E

marcaj P
1

P2

3
1

0
1

marcaj P 2

Retele Petri sincronizate

Pe aceasta figura, tranzitia T1 este receptiva la evenimentul E3, pentru


ca este valida .

Ea va deveni executabila la momentul n care E3 se produce, si


ea va fi imediat executata.

producere E
P
3
T2

P4

2
E

marcaj P

1
0
1

marcaj P

n aceasta figura tranzitia T2 este receptiva la evenimentul E2, pentru ca


este valida. Ea va fi executata cnd evenimentul E2 se va produce, dar ea
nu va fi executata dect o singura data, cu toate ca pozitia continea 2
marcaje n momentul producerii evenimentului E2.

Retele Petri sincronizate


Tranzitia T3 este receptiva la evenimentul E1, pentru ca este

valida. Ea este executata n momentul n care E1 se produce.


n schimb tranzitia T4 nu este executata, pentru ca ea nu este
valida n momentul producerii E1 (nu este receptiva la acest
eveniment).

.
P5
T
3

producere E

P6
T

4
P
7

marcaj P
marcaj P

1
1

1
0

1
marcaj P

Comportare a unei R.P. sincronizate


la o succesiune de evenimente
a. Vom prezenta un nou eveniment care nu este un eveniment

extern. Acest eveniment este tot timpul produs si va fi notat cu


e.
Considerm

succesiunea de
evenimente E =
E2,E1,E1,E2,E1
aplicata reelei din
figura urmtoare.
Tranziiile T1 si T2
se executa numai
atunci cnd se
produc
evenimentele
asociate acestora si
tranziiile sunt
valide.

Comportare a unei R.P. sincronizate


la o succesiune de evenimente
b. Vom considera acelai eveniment asociat la mai multe tranziii.
La producerea evenimentului E1 se executa o singura tranziie si

anume cea care este valida n momentul apariiei evenimentului.

Comportare a unei R.P. sincronizate


la o succesiune de evenimente
c) Vom considera situatia n care reteaua Petri contine tranzitii

ce au atasate evenimentul permanent produs e.

Comportare a unei R.P. sincronizate


la o succesiune de evenimente

Evenimentul e este asociat tranziiei 2. Acest lucru semnifica ca

daca tranziia 2 va fi validata, ea va fi receptiva la aceste


evenimente si deci imediat executabila.

Evenimentul E1 nu va determina o singura tranziie, ci


execuia iterativa a tranziiilor T1T2 n momentul producerii E1.

O R.P.S. are ataat fiecrei tranziii un eveniment extern,


fie un eveniment totdeauna produs un element E {e}.

Vom spune ca R.P.S. este total sincronizata daca nici o


tranziie nu-i este asociata elementului e.

Comportare a unei R.P. sincronizate


la o succesiune de evenimente
n reeaua prezentata sunt doua tranziii valide T2

si T5 receptive la evenimentul E2

Cnd acest eveniment se produce cele doua


tranziii sunt executabile. Dar ntr-o R.P. nu putem
executa dect o tranziie odat. Va trebui sa
alegem execuia lui T2 apoi T5, sau T5 si apoi T2.

Aceasta este fr importanta n acest


exemplu pentru ca R.P.S. este persistenta pentru
marcajul considerat.

n orice situaie marcajul final este M2 plecnd din

marcajul iniial M1.

M1 = { 0 1 0 0 1 0 0 } si M2 = { 0 0 0 1 0 0 1 }

Executia iterativa a tranzitiilor


sub actiunea unui eveniment extern
Cnd mai multe tranziii sunt simultan executabile sub

aciunea evenimentului XEU{e}, vom face o secven de


execuie a acestor tranziii (pentru ca nu le putem face
simultan), care se numete secven de simulare
completa(SSC) si o vom nota cu T(X, M) mulimea tranziiilor
receptive la evenimentul X pentru marcajul M.

Dac Sk este o secvena de simulare complet pentru un


eveniment X si un marcaj M atunci:

- toate secvenele obinute prin permutarea tranziiilor din


Sk sunt de asemenea secvene de efectuare a tranziiei.

Executia iterativa a tranzitiilor


sub actiunea unui eveniment extern
n figura urmtoare SSC raportat la evenimentul Ei pentru

marcajul M1 = (1 2 0 0) este T(Ei , M1) = {T1, T2 }. Secvenele


posibile ce pleac din M1 sunt S1 = T1T2 si S2 = T2T1.

T1T2 M2 si T2T1 M2
S1 si S2 sunt deci secvene de simulare completa.

Reele Petri temporizate


O reea Petri temporizat permite descrierea unui sistem n

care funcionarea depinde de timp. De exemplu, se poate


scurge o anumita durata ntre debutul unei operaii si sfritul
acestei operaii.

R.P. temporizate sunt utile pentru evaluarea performantelor

unui sistem.

Sunt n principal doua moduri de modelare a temporizrii :

fie temporizrile sunt asociate poziiilor - vom spune RPT - P

(Retele Petri Temporizate, cu temporizri asociate poziiilor)


fie temporizrile sunt asociate tranziiilor - vom spune RPT - T

(Retele Petri Temporizate, cu temporizri asociate tranziiilor)

Retele Petri temporizate P


n cazul acestor reele fiecrei poziii Pi

i este asociata o

temporizare di , cu valoare eventual nula.

Vom considera cazul n care di este o valoare constanta,


dar n caz general di poate fi variabila.

Definiie : RP.T-P este un dublet <R , Tempo> n care R


este o R.P. marcata iar Tempo este o aplicaie

Tempo : Pi Q+ (raionale pozitive) .

Tempo (Pi ) = di - temporizarea asociata poziiei pi.

Principiu de funcionare

Atunci cnd un marcaj este depus n poziia Pi, acest


marcaj trebuie sa rmn n aceasta poziie cel puin pe durata
di .

Retele Petri temporizate P

Vom spune ca marcajul este indisponibil pe aceasta durata.

Cnd timpul di s-a scurs marcajul devine disponibil .

Retele Petri temporizate P


Funcionarea Reelei Petri din exemplul anterior este data de

urmtoarea diagram.

exacuie T1
execuie T2
marcaj indisponibil P1

d1

marcaj disponibil P1
marcaj indisponibil P2

d2

Funcionarea unei RP temporizate - P

n starea iniial, marcajul M0 este constituit din marcaje disponibile. La


un moment t oarecare , marcajul prezent M, este suma a doua
marcaje :

Md - marcajele disponibile

Mi - marcajele indisponibile

O tranziie este valid pentru marcajul M= Md+Mi daca ea este


valida pentru marcajul Md .

Execuia unei tranziii se efectueaz prin tragerea din poziiile de


intrare numai a marcajelor disponibile.

Execuia tranziiei este de durata nul.

Dac un marcaj este depus ntr-o poziie Pi si o tranziie se


efectueaz la momentul t, atunci acest marcaj este indisponibil n
intervalul [t , t+di] .

n situaia n care toate tranziiile valide sunt executabile vom


spune ca R.P. funcioneaz la viteza maxima .

Funcionarea unei RP temporizate - P


Frecventa de execuie a tranziiilor, Fj, a unei tranzitii Tj este

reprezentata de numrul posibilitilor de execuie a Tj


unitatea de timp , atunci cnd regimul staionar este stabil .

Consideram urmtoarea R.P. funcionnd n viteza proprie :

Funcionarea unei RP temporizate - P


Numrul posibilitilor de marcare n P1 este egal cu produsul

d1 F2 , pentru ca marcajele sunt introduse n P1 la o frecventa


F2 si rmn un timp d1.

Numrul posibilitilor de marcare n P2 este d2*F1 .

Suma acestor doua numere este un invariant.

d1*F2 + d2*F1 = M0(P1) + M0(P2) =1

Se observa ca F1 = F2 cum d1 = 2
5*F1=1.

si d2 = 3

rezulta

F1=1/5
Definiie: Vom spune ca o R.P. - temporizata funcioneaz
n viteza proprie daca toate marcajele nu rmn ntr-o poziie
dect pe timpul duratei sale de indisponibilitate.

Reeaua din exemplul anterior funcioneaz n viteza proprie

Reele Petri temporizate-T (RPT- T)


n acest caz temporizrile sunt asociate tranziiilor. Putem

demonstra ca RP.T. - P si RP.T - T sunt echivalente.

O RP. - temporizata este un dublet ,<R , Tempo> astfel


nct R este o RP marcata si Tempo este o aplicaie

Tempo : T Q+

Tempo (Tj) = dj = temporizrile asociate tranziiei Tj .

Principiul de funcionare

Un marcaj poate avea doua stri .


El poate fi rezervat pentru execuia tranziiei Tj sau
nerezervat .

Reele Petri temporizate-T (RPT- T)


Pentru a prezenta modul de funcionare a RPT-T utilizam

exemplul urmtor.

Reele Petri temporizate-T (RPT- T)

Funcionarea Reelei Petri din exemplul anterior este data de


urmtoarea diagrama:

Atunci cnd T1 este executata un marcaj este depus n poziia P1, care
antreneaz validarea tranziiei T2. Ca urmare putem decide execuia
tranziiei T2 n oricare moment.

n cazul n care execuia este decisa, marcajul necesar acestei tranziii


este rezervat. Dup scurgerea perioadei d2, T2 se va executa .

Retele Petri stohastice


ntr-o Reea Petri temporizat o durat fix este asociat

fiecrei poziii sau fiecrei tranziii din reea. Obinem cu


ajutorul acestora modele ce sunt adaptate pentru a studia
sistemele n care duratele operaiilor sunt fixe.
Exista fenomene care nu pot fi modelate cu durate constante.
Exemplu timpul de bun funcionare a unui aparat sau a unui

echipament. Putem exprima aceasta durata printr-o variabila


aleatoare.
Un timp aleatoriu va fi asociat executiei unei tranzitii.
RP stohastice se deduc din:

RP - autonome;
RP - temporizate.

Retele Petri stohastice


Ipoteza cel mai des utilizata este c temporizrile sunt

distribuite dup o lege exponenial. Rezultatele referitor la


invarianii marcajelor si invarianii tranziiilor sunt de asemenea
valabile pentru R.P.St.
Metoda de analiz curent const n construirea unui graf de

marcaje accesibile al RP- stohastice i etichetarea fiecrui arc


cu o probabilitate de execuie.
Comportarea aleatorie a unei RP stohastice este identic cu a

unui lan MARKOV omogen determinat

Definirea modelelor
Studiu de caz
Modelarea unei centrale termoelectrice compus din dou

grupuri generatoare, stocul de combustibil i puterea furnizat.

Funcionarea acestui sistem poate fi descrisa prin Reeaua


Petri urmtoare.

Presupunem c timpul de buna funcionare a unui


generator este o variabila aleatorie, distribuit dup o lege
exponential, avnd valoarea medie egala cu V1.

Plecnd de la acest timp mediu V1, vom defini probabilitatea de

efectuare a fenomenului asociat tranzitiei T1.


Aceast variabil semnific c exist o probabilitate

de
execuie a tranziiei T1, ntre momentele t i t + dt, avnd T1
valida la momentul t.

Marcajul nu permite dect o singura tranzitie.

Definirea modelelor
Un generator este susceptibil de a se defecta. Timpul de

funcionare ntre dou defecte este o variabila aleatoare. Vom


nota cu probabilitatea de a se defecta a generatorului 2.

Marcajul semnific c exista un generator defect si un


generator este operaional.

Un generator este reparat dup un timp variabil funcie de


gravitatea defectului, fie , probabilitatea de a fi reparat.

Definirea modelelor
ntr-o Reea Petri stohastica nu exista marcaje rezervate. n

schimb n reele Petri stohastice temporizate exista marcaje


rezervate pentru tranziiile ale cror execuii au fost alese.
Exemplu:
a) RP stohastica
Exista un conflict
ntre tranziiile T1 si
T2, amndou
depinznd de P2.
n acest caz va fi
executata tranziia a
crui eveniment se
produce primul

Definirea modelelor
b) RP temporizata stohastica
Trebuie s alegem
la ce retea vom
cupla
consumatorul.
n timpul 1/1 de
la prezervarea
consumatorului,
se va efectua
alimentarea.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Sistemul analizat este alctuit din:
3 centre de prelucrare realizate cu maini de frezat longitudinal

cu portal. Portalul monobloc asigur rigiditatea la solicitri


verticale, orizontale i torsionale. De asemenea, permite
schimbarea automat a capetelor de frezat (orizontale sau
verticale);
main de gurit GP 35.
Schema de principiu este prezentat n figura urmtoare, n care:
P - palet;

MS - magazie scule;
CP1, .. CP3 - centre de prelucrare - maini de frezat longitudinal

cu portal;
GP 35 - main de gurit n coordonate;
STA1, STA2 - sisteme de transport automate.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari

Semifabricatele care sosesc n acest sistem sunt destinate

prelucrrii pe centrele de prelucrare sau pe maina de gurit n


coordonate.
Fluxul tehnologic de prelucrare este n funcie de codul pies

citit.
Codul separ piesele n dou categorii:
P1 - care se prelucreaz pe centrele de prelucrare:
P2 - care se prelucreaz pe maina de gurit n coordonate.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari

Piesele din categoria P1 urmeaz urmtoarea succesiune de

operaii:
1. piesa antrenat de sistemul de transport automat STA1 este
ncrcat pe CP1 sau CP2 sau CP3;
2. n continuare indiferent de centrul de prelucrare pe care s-a
efectuat ncrcarea, se efectueaz citire program pies,
prelucrare, suflare i curare;
3. dup aceste operaii, piesa este transportat de STA2 n
depozitul de la ieire.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Piesele de tipul P2 urmeaz urmtoarea succesiune de

operaii:
1. se antreneaz piesa de ctre sistemul de transport automat

STA1 i este ncrcat pe maina de gurit n coordonate,


atunci cnd aceasta este disponibil.
2. se efectueaz citire program pies;
3. se prelucreaz piesa;
4. se efectueaz suflare i curare;
5. se transport piesa cu ajutorul STA2 n depozitul de la ieire.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
presupune c nici o
resurs nu este alocat cu
anticipare pentru o anumit
operaie.

Se

Modelul prin reele Petri a

fluxului de prelucrare a fost


realizat
aplicnd
sinteza
hibrid.
n prima etap se modeleaz

operaiile principale efectuate


pe centrel ede prelucrare
(CP1, CP2, CP3).

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Reeaua Petri ce modeleaz

operaiile principale efectuate


pe maina de gurit n
coordonate GP 35 este
prezentat n figura alturat.
Pentru un marcaj nevid

al
poziiilor iniiale reelele Petri
prezentate
sunt
viabile,
mrginite i reversibile.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Pentru transportul pieselor prismatice folosim dou sisteme de

transport automat:
STA1 pentru alimentare;

STA2 pentru evacuare, a cror funcionare poate fi descris

prin modelele din figura urmtoare.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
STA1 i STA2 reprezint resursele partajate paralel.
Sistemul automat de transport STA1 va efectua ncrcarea fie

pe un centru de prelucrare disponibil, fie pe maina de gurit n


coordonate.
ncrcarea se va realiza n funcie codul prelucrrii citit n

momentul n care piesa este preluat de sistemul de transport.


innd cont c piesele sosesc secvenial, n cazul STA1, o

singur tranziie este valid, considernd c se poate produce


numai unul din evenimentele ataate tranziiilor (sosire pies
pentru CP sau sosire pies pentru GP). n acest caz vom avea
o alegere n funcie de codul de prelucrare citit.
n etapa a doua de modelare vom ataa poziiile ce modeleaz

resursele.
Prin ataarea resurselor de transport partajate paralel obinem

reeaua din figura urmtoare.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Aceast reea este viabil, mrginit i reversibil.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Pentru modelarea prin reele Petri a sistemului flexibil pentru

prelucrarea pieselor prismatice mari s-au utilizat urmtoarele


notaii:
P1, P5, P9, P13 - CP sau GP liber;
t1, t5, t9, t13 - ncrcare cu pies;
P2, P6, P10, P14, - CP sau GP ncrcat;
t2, t6, t10, t14 - citire program prelucrare pies;
P3, P7, P11, P15 - prelucrare pies;
t3, t7, t11, t15 - terminare prelucrare;
P4, P8, P12, P16 - suflare, curare;
t4, t8, t12, t16 - evacuare pies;

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
P17 - STA1 liber;
t17 - citire cod CP;
t18 - citire cod main de gurit;
P18 - ncrcare CP;
P19 - ncrcare GP;
P20 - STA2 pies;
t19 - evacuare pies;
P21 - STA2 liber
Trebuie specificat c P18 i {t1, t5, t13} i P21 i {t4, t8, t16,

t12} formeaz excluderi mutuale.

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Marcajul iniial al reelei i matricea de inciden sunt:

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
n urma calculului invarianilor, se obine :
m ( p1 ) + m ( p 2 ) + m ( p3 ) + m ( p 4 ) = 1
m ( p5 ) + m ( p 6 ) + m ( p7 ) + m ( p 8 ) = 1
m ( p9 ) + m ( p10 ) + m ( p11 ) + m ( p12 ) = 1
m ( p13 ) + m ( p14 ) + m ( p15 ) + m ( p16 ) = 1
m ( p17 ) + m ( p18 ) + m ( p19 ) = 1
m ( p20 ) + m ( p21 ) = 1

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Prin reele Petri colorate obinem urmtorul model :

Modelarea sistemului flexibil pentru


prelucrarea pieselor prismatice mari
Marcajele au urmtoarea semnificaie:

f ( CP1 ) = 1; f ( CP2 ) = 1; f ( CP3 ) = 1; f ( GP ) = 1;

Tip ( CP ) = CP = CP1 + CP2 + CP3 ;


Tip ( GP ) = GP;
P1 = CP1 + CP2 + CP3 + GPP;
g ( . ) = CP1 + CP2 + CP3 + GP

Reele Petri Hibride

RP continue sunt bine adaptate pentru modelarea funcionrii

permanente.
n acelai timp de exemplu n cadrul unui sistem, un anumit

echipament
se
poate
defecta
corespunztoare devin nul.

viteza

maximal

Aceast situaie poate fi modelat cu o Reea Petri Hibrid

coninnd poziii i tranziii continue ( c-tranziii i c-poziii) i


poziii i tranziii discrete (d-tranziii i d-poziii).

Reele Petri Colorate


ntr-o Reea Petri informaia este coninut de poziii.
Prezenta 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

mai multe maini sau 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.
Am definit astfel o nou metod de modelare reprezentat de

Reele Petri Colorate.

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

Reele Petri Colorate


Definiia Reelelor Petri Colorate
O RP Colorat este definit de gruparea
R = <P, T, Pre, Post, M0, O , unde:
P

- mulimea poziiilor;

- mulimea tranziiilor;

- {Ci, C2...} , mulimea culorilor;

Pre i Post sunt funcii relative la culorile de execuie;


Mo - marcajul iniial.
Deci o Reea Petri Colorat se deosebete de o RP

generalizat prin adugarea unui ansamblu de culori. O culoare


Ck = <Cki, Ck2, . . . ,Ckn> poate fi notat global Ck.

Graful Reelei Petri Colorate


Ca n toate RP, graful RP Colorate conine dou tipuri de

noduri, poziii i tranziii, legate prin arce orientate.


Nodurile sunt:
Poziiile. O poziie este reprezentat printr-un cerc. Ea poate s

conin marcaje colorate, mai multe marcaje de aceeai


culoare putnd s se gseasc n aceeai poziie.
Tranziiile. O tranziie este reprezentat printr-o linie. Fiecrei

tranziii i este asociat un ansamblu de culori, fiecare din


culorile indicate oferind posibilitatea distinct de efectuare a
tranziiei.
Arce
Arcele orientate fac legtura ntre poziii i tranziii sau invers.

Valoarea unui arc este o funcie Pre sau Post ce stabilete


o coresponden ntre fiecare culoare de intrare i de ieire din
acea tranziie.

Graful Reelei Petri


Colorate

In raport cu RP generalizate,
funciile Pre i Post vor avea un
argument suplimentar care este
culoarea Ck de execuie a tranziiei
tj.

De asemenea Pre(Pi,ti/ck) i
Post(pi,tj/ck) corespund n caz
general unei combinaii liniare de
culori de marcaje, relative la poziia
Pi.

Exemplu:

Pentru o tranziie i dou poziii a


unei RP colorate vom avea:

Poziia P1 conine: 3 marcaje <a>;


2 marcaje <v>; 1 marcaj <o>.

Graful Reelei Petri


Colorate
Tranziia Ti poate fi realizat n funcie de culorile <a>, <b> sau

<o>, asociate acestei tranziii.


Execuia tranziiei T1n raport cu culoarea <a> va conduce la

extragerea unui marcaj de culoare <v> din Pi i adugarea unui


marcaj de culoare <a> n P2.
Evoluia marcajelor
Marcajul M(pi) reprezint numrul de marcaje de fiecare

culoare coninute n poziia Pi. Marcajul iniial al R.P. prezentate


n exemplul anterior este dat de marcajul poziiilor P1i P2.
M(p1) = 3<a> + 2<v> + <o> i

M(p2) = 0.
Suma simbolic a marcajului M(p1) semnific c marcajul se

compune din trei marcaje de culoare <a>, 2 marcaje de culoare


<v> i un marcaj de culoare <o>.

Tranziii valide
Fie C(Tj) ansamblul de culori asociate tranziiei Tj. Aceast

tranziie poate fi executat n raport cu oricare dintre aceste


culori.
O R.P. colorat poate fi transformat ntr-o RP generalizat

avnd un numr de tranziii echivalente pentru tranziia Tj egal


cu numrul de culori C(Tj) asociate acesteia.
Definiie
Oricare ar fi CK C(Tj) i oricare ar fi M marcajul curent al RP

colorate, tranziia Tj este valid n raport de culoarea Ck pentru


marcajul M, dac i numai dac numrul de marcaje coninute
n toate poziiile Pi n amonte de Tj e mai mare sau egal dect
Pre(Pi,Tj/ck).

Aceast condiie poate fi exprimat astfel:

Tranziii valide

In exemplul dat Ti nu este valid n raport cu <o>, pentru c

poziia Pi trebuia s aib cel puin dou marcaje de culoare <o>


i ea conine unul singur.
Execuia unei tranziii valide

O tranziie Tj valid n raport cu o culoare Ck poate fi executat.

Execuia tranziiei, care va fi notat cu Tj/cj, const n a efectua


simultan urmtoarele dou operaii:
- se extrag din toate poziiile de intrare n Tj un numr de

marcaje egal cu Pre(Pi,Tj/ck);


- se adaug tuturor poziiilor de ieire din Tj, un numr de

marcaje egal cu Post(Pi,Tj/ck).

Tranziii valide
Fie M' marcajul obinut dup execuia tranziiei Tj n raport de

culoarea Ck. Acest marcaj se deduce din marcajul M prin relaia


urmtoare:

In exemplul dat, Tj este valid n raport de culoarea <a>, ea

putnd fi executat n funcie de aceast culoare.


Execuia tranziiei const n scoaterea unui marcaj de culoare

<v> din poziia Pi, pentru c f(<a>)=<v> i adugarea unui


marcaj de culoare <a> n poziia P2, pentru c g(<a>)=<a>.

Secvene de execuie
Execuia unei tranziii Ti n raport cu o culoare Chi (care se

noteaz Ti/Chi), plecnd din marcajul Mi, va conduce la


marcajul M2. Putem scrie:
Mi(Ti/Chi)->M2.
M2 poate de asemenea s valideze o tranziie T2/Ch2, care ne

va conduce la un marcaj M3 i aa mai departe.

Obinem o secven de execuie:


S=T1Ch1, T2/Ch2,. . . Tk/Chk care va trece de la M1 la marcajul

Mk+1
Marcajul Mk+1 va fi calculat cu formula urmtoare:

Secvene de execuie
Exemplu
f(c1) = C1 + C2

f(c2) = C2

Pentru Reeaua Petri din figura urmtoare vom realiza secvena

de tranziii:
S1=T1/C1, T2/C1 ,T2/C2

Proprietile Reelelor Petri


Colorate
S1=T1/C1, T2/C1 ,T2/C2 este o secven repetitiv de execuie a

tranziiilor.

Marcajul Reelei Petri Colorate n caz general este:

Proprietile Reelelor Petri


Colorate
Matricea Post va fi W+ avnd elemente de tipul aij = Post(Pi,

TJ).
Matricea Pre va fi W-, avnd elemente de tipul aij= Pre(Pi,TJ).

Matricea de inciden va fi W= W+- W-.


Regula de calcul a unui marcaj va fi: Mk = Mi+ W*S unde:
S este secvena de tranziii de tranziii de la Mi la Mk.

S este vectorul caracteristic pentru secvena de tranziii de

tranziii de la Mi la Mk.
Proprietile RPC

Reea
Petri
este limitat
dac, pentru toate
marcajele accesibile, toate poziiile conin un numr finit de
marcaje.

Proprietile Reelelor Petri


Colorate
Putem defini i Reele Colorate binare acele RP Colorate n

care poziiile (pentru toate marcajele accesibile) conin


maximum un marcaj din fiecare culoare.
O Reea Petri este fr blocaje (viabil) dac pentru toate

marcajele accesibile, exist cel puin o tranziie executabil


pentru cel puin una din culorile sale.
Reelele

Petri faciliteaz modelarea sistemelor de mari


dimensiuni, sisteme n care anumite pri au funciuni
asemntoare.

Aplicaie - Modelarea proteciilor maximale de


tensiune i curent prin Reele Petri
Proteciile la creteri ale curentului sau tensiunii, datorate unor

defecte, sunt realizate cu relee maximale de curent respectiv,


relee maximale de tensiune.
O metod modern de modelare a comportrii acestor protecii

o constituie reprezentarea acestora cu ajutorul Reelelor Petri.


Modelele realizate au avut la baz principiile funcionrii

acestor protecii. Releele de curent seziseaz depirea unei


valori prestabilite a curentului notat cu ipp.
Curentul de pornire al proteciei ipr va fi:

unde ntc reprezint raportul transformatorului de curent.

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
Curentul prestabilit trebuie s fie mai mare dect curentul

nominal al liniei i curentul de sarcin maxim.


Modul n care funcioneaz proteciile de curent poate fi

reprezentat prin caracteristica urmtoare:

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri

In cazul proteciilor de tensiune vom avea:

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
Caracteristica acestui releu maximal de tensiune va fi

urmtoarea:

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
Modelarea proteciilor maximale de curent sau tensiune se

poate realiza
generalizate.

separat

prin

intermediul

Reelelor

Petri

Vom utiliza notaiile:


Kp

- valoarea cuantificat a lui ipr;

f - numrul de marcaje din Pi ce reprezint valoarea

cuantificat a tensiunii din secundarul transformatorului.


K - valoarea cuantificat a lui irev.
poziia P2 - indic activarea proteciei (dac ea este marcat

protecia este activat)


poziia P3 - indic revenirea proteciei
Reeaua Petri generalizat pentru protecia maximal de curent

este prezentat n figura urmtoare.

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri

Efectuarea tranziiei Ti implic creterea tensiunii cu o unitate,

iar efectuarea tranziiei T2 implic scderea tensiunii cu o


unitate.

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
Tranziia T3 este efectuat dac numrul de marcaje din P1

este mai mare sau egal cu Kp i poziia P3 este marcat, lucru


valabil cnd valoarea ipr este depit. Aceast poziie
modeleaz condiia de revenire a proteciei.

Tranziia T4 se efectueaz dac n poziia P1 sunt f marcaje,

poziia P2 este marcat, iar n poziia P4 sunt cel puin f


marcaje, k > f ( tensiunea a sczut sub valoarea de Urev).

Modelarea proteciilor maximale de tensiune prin intermediul

Reelelor Petri
asemntor.

generalizate,

se

poate

realiza

mod

Reprezentarea n acelai model a proteciilor maximale de

tensiune i curent o putem realiza prin Reele Petri colorate.

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
C1 - culoare pentru curent;
C2 - culoare pentru tensiune;
nc1 - valoare cuantificat Ipr;
nc2 - valoare cuantificat Upr;
Kcl - valoarea cuantificat a curentului de revenire irev;
Kc2 - valoarea cuantificat a tensiunii de revenire Urev.

Tranziiile T1, T2, T3, T4, au aceleai semnificaii, putnd fi


realizate n raport cu culoarea C1 sau C2.

Efectuarea tranziiei T3 n raport cu C1, indic o depire a

curentului de pornire a proteciei ipr, iar efectuarea tranziiei T3


n raport cu culoarea C2, indic o depire a tensiunii de
pornire Upr.

Aplicaie - Modelarea proteciilor


maximale de tensiune i curent prin
Reele Petri
Tranziia T4 este executabil n raport cu culoarea C1 dac

curentul scade sub valoarea irev, sau n raport cu culoarea C2


dac tensiunea scade sub valoarea Urev (nc1 < Kc1).
f funcie de culoare;
f(c1) = nc1; f(c2) = nc2;
Kp(ci) - valoarea cuantificat a curentului de pornire ipr;

Kp(c2) - valoarea cuantificat a tensiunii de pornire Upr.


Cunoscnd c Reelele Petri se bazeaz pe un aparat

matematic foarte puternic, aceste modele realizate ale


proteciilor maximale de tensiune i curent permit simularea i
analiza n condiii satisfctoare a comportrii acestora.

S-ar putea să vă placă și