Documente Academic
Documente Profesional
Documente Cultură
Curs Sist Aut Fabricatie
Curs Sist Aut Fabricatie
DE FABRICAIE
- curs master -
Capitolul 1.
CAPITOLUL 1.
STRUCTURI TIPICE DE AUTOMATIZARE
A FABRICAIEI UTILIZATE N CADRUL
SISTEMELOR CIM
Capitolul 1.
Capitolul 1.
Capitolul 1.
Capitolul 1.
Capitolul 1.
(NC, CNC), n cazul unei structuri de tip DNC, este prezentat n fig.1.3. Se
poate observa c n general lipsesc legturile informaionale cu alte structuri
funcionale (proiectare, urmrirea produciei) din cadrul ntreprinderii. Astfel rmn modalitile tradiionale de ncrcare pe calculator a unor programe de prelucrare: de pe band perforat (prin utilizarea unui cititor de band) sau de pe uniti de stocare magnetic a datelor (disk floppy). De asemenea, deservirea calculatorului DNC (introducere date i programare) se
realizeaz prin mijloace manuale.
Capitolul 1.
Capitolul 1.
Iniierea unor comenzi pentru intrarea n funciune/oprirea mainilor de lucru, a dispozitivelor instalaiei aductoare/de evacuare,
a roboilor respectiv a modulelor de fabricaie flexibil;
Capitolul 1.
Acesta din urm ns trebuie s coordoneze singur toate activitile de fabricaie din cadrul celulei, cea ce este o sarcin extrem de mare. Datorit vitezelor (relativ) mici de transfer, utilizate la transmisia serial RS232c, coordonarea n timp real a activitilor de fabricaie, de multe ori este imposibil.
Fig.1.4. Modelul de conectare direct la controlerul de celul a echipamentelor de comand din cadrul unei celule de fabricaie
Capitolul 1.
10
Comanda celulei este ngreunat de foarte multe ori i de faptul c fiecare tip de echipament (NC, CNC, ROC, PLC) utilizeaz n general limbaje
diferite de comand.
1.3.2. Structur de comand cu interconectare printr-o reea LAN
11
Capitolul 1.
Capitolul 1.
12
Observaie:
Reeaua Coloan de Fabric strbate, sub forma unei coloane vertebrale, ntreaga hal industrial a fabricii, realiznd astfel interconectarea informaional a reelelor de celul, fig.1.7., respectiv conectarea lor la Controlerul Principal de Uzin (Host Plant Controler).
Fig.1.7. Exemplu de interconectare a Reelelor de Celul prin Reeaua Coloan de Fabric, [48]
Capitolul 1.
13
Capitolul 1.
14
Conectarea reelelor de celul la reeaua coloan de fabric se poate realiza fie direct prin controlerul de celul, fie prin utilizarea unor echipamente speciale de interconectare (Bridge, Router, Gateway etc.).
Capitolul 1.
15
Capitolul 1.
16
Capitolul 1.
17
compartimentul de control i testare, respectiv Celula de Msurare i Control de Calitate (Measuring and Quality control Cell);
compartimentul de depozitare cu un Sistem Automat de Depozitare i Regsire (Automated Storage & Retrieval System
AS&RS);
18
Capitolul 1.
Capitolul 1.
19
Capitolul 1.
20
21
Capitolul 1.
semifabricatelor,
depozitare final.
Capitolul 1.
22
Capitolul 1.
23
Capitolul 1.
24
Capitolul 1.
25
26
Capitolul 1.
Capitolul 1.
27
Astfel totalitatea acestor activiti de comand/coordonare formeaz modulul funcional de Fabricaie Asistat de Calculator (Computer Aided Manufacturing - CAM) al sistemului CIM.
Cu ct este mai mare nivelul tehnic de implementare a funciilor de comand/coordonare din cadrul acestui modul CAM, cu att este mai mare
gradul de automatizare a fabricaiei din cadrul sistemului CIM.
28
Capitolul 2.
CAPITOLUL 2.
ECHIPAMENTE DE COMAND
CU ARHITECTUR DESCHIS
DIN CADRUL SISTEMELOR CIM
Integratorii de sistem sunt firme specializate n proiectarea, implementarea fizic i dezvoltarea structurilor de fabricaie din cadrul sistemelor
CIM. n cazul unor comenzi din partea unei ntreprinderi, ei achiziioneaz de la productori echipamentele de fabricaie i dup caz le integreaz n structurile de fabricaie existente sau creeaz noi structuri (de
exemplu noi celule de fabricaie) n cadrul ntreprinderii respective. De
asemenea ei realizeaz la cerere i adaptarea structurilor existente la noile cerine ale procesului de fabricaie.
Capitolul 2.
29
n cazul echipamentelor de comand (n continuare: controlere) cu arhitectur nchis (adic specific firmei productoare), integratorii de sistem
au posibiliti limitate n adaptarea acestora la cerine noi ale procesului de
fabricaie.
Dac aceast adaptare, necesit dotarea controlerelor respective cu unele componente (interfee) hardware i/sau software noi, integratorul de sistem este nevoit s apeleze la fabricantul controlerului. Acesta din urm ns,
efectueaz modificrile cerute numai dac interfeele noi, rezultate n urma
dezvoltrii, vor aduce beneficii i fabricantului, adic ulterior vor putea fi
vndute i la ali clieni. n aceste condiii, integratorii de sistem solicit
de la fabricani elaborarea controlerelor n variant cu arhitectur deschis (open controller).
30
Capitolul 2.
Trebuie menionat faptul c termenul de controler deschis nu se refer
la un controler universal, ci se refer la un controler care are la baz specificaii cunoscute sau publicate. n schimb prin controler universal se nelege
un controler care poate fi utilizat pentru comanda mai multor tipuri de echipamente de fabricaie. De fapt fiecare productor interpreteaz altfel acest
termen. O definiie a unui controler deschis ar putea fi urmtorul:
un controler cu hardware i sistem de operare standard respectiv cu specificaii deschise pentru interfee.
n domeniul sistemelor de calcul, calculatorul PC este un bun exemplu
pentru un sistem cu arhitectur deschis, fig.2.1. Avnd la baz calculatorul
personal original IBM, arhitectura hardware a PC-ului este considerat a fi
un standard de facto n rndul calculatoarelor comerciale. Din acest motiv
st la baza realizrii a multor tipuri de controlere deschise. La fel i sistemul
de operare Windows, elaborat de firma Microsoft i utilizat n milioane calculatoare PC, este considerat a fi un standard de facto.
Controlerele brevetate (proprietary controllers), adic a cror arhitectur este specific numai unei anumite firme productoare, dei sunt permanent mbuntite, au o serie de dezavantaje fa de un controler cu arhitectur deschis. Astfel, majoritatea controlerelor brevetate sunt considerate a
fi insule de automatizare datorit caracterului nchis al acestora respectiv datorit compatibilitilor i conectivitilor reduse cu alte sisteme.
Multe controlere brevetate utilizeaz unu sau mai multe microprocesoare de uz general (de exemplu Intel 8088, Motorola 68000) dar specificaiile
pentru restul hardware-ului i interfeelor au la baz standarde brevetate
(respectiv sunt inaccesibile altora). mbuntirea performanelor hardware
Capitolul 2.
31
(prin introducerea unui procesor mai rapid sau prin extensia memoriei
RAM), chiar dac este posibil totui este limitat. Configuraiile interfeelor I/O sunt de asemenea standarde brevetate i contribuie la generarea problemelor de compatibilitate a sistemelor nchise.
De exemplu, n cazul n care un controler utilizeaz o unitate floppy
pentru nregistrarea datelor pe dischet, dar formatul utilizat este unul brevetat (adic nu se utilizeaz formatul standard oferit de sistemul de operare
DOS) atunci un operator va fi n imposibilitatea citirii datelor de pe aceasta,
prin utilizarea unui simplu calculator PC.
n cazul utilizrii n cadrul sistemelor CIM a controlerelor deschise,
toate aceste probleme pot fi rezolvate. Mai mult, hardware-ul i sistemul de
operare fiind standard, n primul rnd se creeaz posibilitatea ca mai muli
productori independeni, s ofere componente/module hardware i respectiv software pentru dezvoltarea lor prin upgrade. Astfel va rezulta n timp
(aa cum s-a ntmplat i n cazul calculatoarelor PC) o scdere semnificativ a preurilor de vnzare. i aceasta este un interes al integratorilor de sistem: adic obinerea unor controlere cu pre sczut respectiv posibilitatea
dezvoltrii i adaptrii lor n funcie de necesitile procesului de fabricaie. n final se obine o reducere a costurilor de integrare n sisteme CIM.
2.2. Dezvoltarea echipamentelor de comand robot (ROC) cu
arhitectur deschis
Controlerele robot fac parte din rndul acelor echipamente de comand
a cror arhitectur deschis contribuie la obinerea unor costuri reduse de integrare n sisteme CIM.
32
Capitolul 2.
n prezent exist mai multe variante de structur, pentru controlere robot
Capitolul 2.
33
34
Capitolul 2.
35
Capitolul 2.
Aceste controlere ns, dei hardware-ul de PC ofer o platform deschis pentru realizarea conducerii, datorit software-ului brevetat, capt un
caracter nchis. Ca avantaj, hardware-ul de PC asigur un pre mai sczut
pentru controler, respectiv asigur posibilitatea unui upgrade cu componente standarde. La aceste controlere, n general exist o anumit
capabilitate grafic a panoului de programare, ns aceasta este restricionat
de sistemul de operare care este puin dezvoltat n acest sens, fig.2.4.
36
Capitolul 2.
Pentru a avea o platform de operare ntr-adevr deschis, la controlere-
n variant cu dublu procesor (categoria 3), se utilizeaz practic o arhitectur hardware de PC cu dou plci de baz, fiecare fiind echipat cu cte un
microprocesor. Astfel sistemele de operare Windows i VxWorks sunt rulate separat, pe cte o plac de baz care ns comunic ntre ele prin protocolul TCP/IP sub Ethernet, fig.2.5.
Capitolul 2.
37
38
Capitolul 2.
39
Fig.2.8.
Capitolul 2.
40
Capitolul 2.
41
Capitolul 2.
42
Capitolul 2.
Capitolul 2.
43
Bosch IQ200 este un exemplu tipic pentru un controler robot cu arhitectur deschis. Este utilizat la familia de roboi TurboScara SR6/SR8. La baza controlerului st un PC industrial numit rh04, cu un procesor Pentium.
Pentru conectarea la controler a modulelor de conducere nemijlocit ale celor 4 axe de robot, se utilizeaz o magistral de cmp (fieldbus) de tip CAN.
O alt magistral (CAN2) este utilizat pentru conectarea la controler a dispozitivelor periferice: senzori, actuatori, module I/O etc. Pentru operare,
poate fi utilizat panoul de instruire PHG2000, ecranul de atingere (touchscreen), BF200T sau un calculator PC extern.
Pe calculatorul rh04 este rulat simultan sistemul de operare de timp real
VxWorks i sistemul de operare Windows. Pe magistrala PCI este instalat
un modul de extensie denumit PCI_RHO, fig.2.10. Acesta include: interfee
pentru magistrala CAN ctre acionri (cele 4 axe ale robotului) i ctre dispozitivele periferice (senzori, actuatori) respectiv o interfa ctre panoul de
instruire PHG2000.
O alt funcie cheie a calculatorului rh04 este utilizarea protocolului
TCP/IP pentru conectarea la o reea standard. Aceasta permite att schimburile de date ntre modulele software interne ct i comunicaia extern cu
aplicaii standard sau aplicaii utilizator. De asemenea este implementat o
capabilitate de diagnosticare de la distan via TCP/IP.
Prin utilizarea funciilor noi de bibliotec (library) este posibil iniierea
micrilor la axe, de la o aplicaie Windows. Pentru programarea robotului
poate fi utilizat calculatorul industrial rh04 din interiorul controlerului
IQ200 sau un calculator PC extern. n acest caz din urm, datele i/sau programele pot fi introduse n memoria controlerului printr-o interfa serial
sau printr-o legtur Ethernet sub TCP/IP. Panoul de instruire este utilizat n
44
Capitolul 2.
prima faz pentru instruirea/nvarea robotului i pentru diagnosticarea erorilor. De asemenea permite i modificarea sau editarea programului robot de
aplicaie.
Programele de micare robot sunt scrise ntr-un limbaj asemntor
PASCAL-ului numit BAPS. Programele robot BAPS pot fi create cu un editor de texte sau cu un utilitar de programare grafic: BAPSplus. Pentru realizarea funciilor de automat programabil (PLC) se utilizeaz un software
WIN-PLC.
n cadrul calculatorului industrial rh04, se utilizeaz un procesor
Pentium de mare performan. Acest microprocesor este secionat n dou
procesoare virtuale P1 i P2. Procesorul P1 este procesorul de limbaj
BAPS. Interpreteaz comenzile i planific desfurarea aciunilor i traiectoria pentru micare (calculeaz n avans pn la 11 puncte). n mod adiional, procesorul P1 este responsabil de legtura cu sisteme vision respectiv
cu calculatoare Host, asigur funciile PLC respectiv asigur realizarea
schimburilor de informaii cu un operator, printr-o interfa Windows.
Task-ul procesorului P2 este generarea punctelor prescrise, separat
pentru fiecare ax, respectiv realizarea transformrilor de coordonate. Monitorizeaz limitele spaiului de lucru sau limitele de curs pentru axe.
De fapt calculatorul rh04 poate controla simultan pn la 16 axe. Funciile extinse, cum sunt interconectarea cu alte sisteme prin TCP/IP, comunicaia cu operatorul prin interfee standarde DDE i DLL i utilizarea tehnologiei PC pentru realizarea conducerii, asigur o veritabil arhitectur deschis.
Capitolul 2.
45
46
Capitolul 2.
Capitolul 2.
47
48
Capitolul 2.
Echipamentele CNC deschise fabricate recent, pot fi clasificate n 3
de
comand
Capitolul 2.
49
Fanuc (care este cel mai mare productor de CNC pe lume), un CNC
deschis este de fapt un CNC integrat ntr-un PC. GE Fanuc ofer
mai multe soluii unde, CNC-ul este practic un modul de extensie introdus ntr-un PC, pe care este rulat Windows. Un exemplu este CNC-ul
din seria 150i-M, (fig. 3.13.). Utilizatorul sau fabricantul de mainunealt, poate rula pe acest sistem i programele proprii, care pot accesa
resursele CNC dar fr posibilitate de modificare/ adaptare a acestora.
2. Pe lng existena unei interfee utilizator deschise, la unele CNC-uri
(varianta b.), exist posibilitate i pentru completarea funciilor nucleului Kernel respectiv schimbarea/nlocuirea limitat a unor algoritmi. Acest lucru ns este foarte puin sprijinit de marile firme productoare de CNC-uri.
Un exemplu este echipamentul SINUMERIK 840C al firmei Siemens, format din urmtoarele elemente funcionale: MMC (legtur ommain), NCK (Kernel NC) i PLC (automat programabil). Caracterul deschis se manifest la nivelul MMC, prin posibilitatea rulrii software-elor
OEM pe o platform Windows, adic este aceeai soluie ca i n cazul firmei GE Fanuc. Suplimentar ns, cu licen OEM (adic cu contract direct
cu productorul), exist posibilitatea integrrii limitat a unor funcii speciale NCK, legate de interpolator, controlul de poziie.
Pe lng cei mari, din ce n ce mai multe firme mici ofer soluii
complete pentru echipamente CNC pe baz de PC, cu arhitectur parial
deschis. D.p.d.v. al arhitecturii exist 3 configuraii tipice:
50
Capitolul 2.
Configuraie cu dou sau mai multe procesoare unde pe un procesor este rulat nucleul Kernel de timp real, iar pe altul este rulat interfaa utilizator sub sistemul de operare Windows. Acest
model este utilizat de Siemens i Fanuc.
Configuraie n care pe un singur procesor este rulat att sistemul de operare Windows ct i Kernelul de timp real, n mod
asemntor controlerului de robot KUKA KR C1. Un exemplu n
acest sens este sistemul OpenCNC al firmei MDSI, unde pe un
singur procesor este rulat Windows i sistemul de operare RTX.
Pe fig.2.14. se poate observa faptul c sistemul are att interfa
utilizator NT ct i de timp real.
51
Capitolul 2.
52
Capitolul 2.
Capitolul 2.
53
54
Capitolul 2.
55
Capitolul 2.
56
Capitolul 2.
Primul sistem complet de comand, cu structur OSACA, a fost realizat la institutul de cercetare WZL din Aachen. Structura de principiu a sistemului de comand este prezentat n fig.2.17. Acesta utilizeaz 3 platforme
OSACA interconectate: o platform cu Windows pentru operare, una cu
VxWorks 5.2 pentru parte de control n timp real, i una cu Solaris 2.4. pentru partea de CAM.
Capitolul 2.
57
58
Capitolul 2.
n schimb s-a definit o serie de clase de baz care rezult din decompo-
ziia arhitecturii unui controler general. Clasele de baz sunt grupate n module, care sunt elementele de baz ale unui controler OMAC. Modulele sunt
construite dintr-o serie de elemente predefinite respectiv sunt prevzute cu
nite interfee de conectare. Modulele pot fi interconectate doar prin intermediul acestor interfee. n aceste condiii, construirea unui anumit sistem
de comand se reduce la selectarea, implementarea individual i interconectarea diferitelor module OMAC. Avnd n vedere c au fost stabilite
numai cteva reguli generale, proiectantul are mn liber n stabilirea arhitecturii sistemului de comand.
Din modulele OMAC poate fi construit orice echipament de comand,
de la cel mai simplu (utilizat de exemplu pentru comanda unui sistem de ridicare cu o singur ax), pn la cel mai complex (utilizat de exemplu pentru comanda unui centru de prelucrare cu mai multe axe).
59
Capitolul 2.
60
Capitolul 2.
61
Capitolul 3.
CAPITOLUL 3.
MODELAREA l SIMULAREA
CU AJUTORUL REELELOR PETRI
3.1. Reele Petri. Concepte. Reprezentri
3.1.1. Poziii, tranziii, arce
O Reea Petri (RP) este un model grafic de tipul grafurilor orientate,
care utilizeaz dou categorii de noduri:
Poziiile i tranziiile sunt legate prin arce. Arcele sunt orientate, ele legnd
o poziie la o tranziie sau o tranziie la o poziie.
n figura 3.1. este prezentat o RP care are n componen 7 poziii,
6 tranziii i 15 arce orientate. Notaii: poziiile se noteaz cu Pi, i= 1, I;
tranziiile se noteaz cu Tj, j= 1, J; mulimea poziiilor unei RP se noteaz cu
P; mulimea tranziiilor unei RP se noteaz cu T.
Pentru exemplul din figura 2.1 mulimea poziiilor este P = { P1, P2,
P3, P4, P5, P6, P7} i mulimea tranziiilor este T= { T1, T2, T3, T4, T5, T6}.
62
Capitolul 3.
63
Capitolul 3.
numesc mrci sau jetoane. n figura 3.1.a este prezentat o RP marcat, iar
n figura 3.1.b o RP nemarcat.
Fiecrei poziii, funcie de existena/ inexistena punctului (n
general a simbolului), i se poate asocia un marcaj. Marcajul unei poziii Pi se
noteaz cu M(Pi) sau mi. Marcajele corespunztoare poziiilor reelei din
figura 3.1.b. sunt: m2 = m4 = m5 = m7 = 0, m1 = m3 = 1, m6 = 2.
Marcajul reelei se noteaz cu M. Pentru o RP cu n poziii acesta este
definit prin vectorul M = (mi, m2, ... mi, ... ml). Marcajul reelei din figura
3.1.b. este M= (1, 0, 1, 0, 0, 2, 0).
Observaie:
64
Capitolul 3.
65
Capitolul 3.
66
Capitolul 3.
Observaie:
67
Capitolul 3.
Fig.3.6. RP dependent
n acest caz sistemul este modelat cu ajutorul unei RP dependente.
O RP dependent descrie funcionarea unui sistem cnd evoluia acestuia
este condiionat de evenimente externe sau de timp.
68
Capitolul 3.
Prescurtrile (abrevierile) corespund unor reprezentri simplificate,
RP generalizate;
RP de capacitate;
RP colorate.
RP dependente (neautonome).
3.3.1. Reele Petri generalizate
O RP generalizat, este o RP n care arcelor le sunt asociate numere
P 4 are ncrcarea 2
69
Capitolul 3.
In general dac un arc Pi
P1 fiind
70
Capitolul 3.
71
Capitolul 3.
(3.1)
72
Capitolul 3.
Fig.3.9. RP de capacitate
Astfel dac: M ( P2 ) = Cap ( P2 ), atunci M ( P2' ) = 0 i tranziia T1
nu este validat.
n cazul general, unei poziii Pi a crei capacitate Cap ( Pi ) este
finit, i se poate asocia o poziie Pi' al crei marcaj este complementar
acestei capaciti. Toate tranziiile de intrare ale poziiei Pi sunt tranziii de
ieire ale poziiei Pi' i reciproc.
Capitolul 3.
73
temporizare di care poate fi, eventual, nul. n cazul general di este variabil.
n continuare, di, se va considera constant.
Definiie:
O reea Petri P- temporizat, este un dublet de forma <R, Tempo> ,unde:
74
Capitolul 3.
R este o RP marcat;
(3.2)
Md - marcajul disponibil;
Mi - marcajul indisponibil.
Deci:
M= Md + Mj
(3.3)
Capitolul 3.
75
76
Capitolul 3.
77
Capitolul 3.
78
Capitolul 3.
79
Capitolul 3.
(3.4)
nerezervat.
80
Capitolul 3.
(3.5)
t - nceputul tranziiei;
t + dj - sfritul tranziiei.
2.
Capitolul 3.
81
82
Capitolul 3.
Capitolul 3.
83
R este o RP marcat;
84
Capitolul 3.
Capitolul 3.
85
Capitolul 3.
86
Fig.3.18. RP sincronizat
n momentul producerii evenimentului E1 se execut i tranziia T1.
Ansamblul evoluiilor posibile fiind reprezentat de graful de marcaje:
Capitolul 3.
87
Exist situaii n care modelul reclam un eveniment care are loc totdeauna
(evenimentul " neutru " e). O astfel de reea Petri sincronizat este
prezentat n figura 3.20. Tranziia T1 este validat fiind totodat receptiv
la evenimentul E3. Cnd acest eveniment se produce tranziia se execut,
ceea ce conduce la marcajul (0, 1). Pentru acest marcaj tranziia T2 devine
validat. Cum aceasta este receptiv la evenimentul ea se execut imediat,
revenindu-se astfel la marcajul (1, 0).
Capitolul 3.
88
89
Capitolul 3.
Capitolul 3.
90
3.6. Reele Petri colorate
91
Capitolul 3.
Fig.3.32. Modelele cu RP ale sistemelor cu crucioare
Fig.3.33. RP colorata
Capitolul 3.
92
93
Capitolul 3.
Capitolul 3.
94
(3.6)
unde:
(3.7)
(3.8)
95
Capitolul 3.
(3.9)
(3.10)
Capitolul 3.
96
97
Capitolul 3.
Capitolul 3.
98
Succ(C1) = C2
(3.11)
Succ(C2) = C1
(3.12)
(3.13)
(3.14)
Semnificaia relaiei (3.14) este aceea c fiecare din cele dou maini
ateapt o pies de tipul p1.
Modelul unui SFF cu trei maini de lucru
Se consider un sistem de fabricaie (fig.3.39) compus din trei
maini de lucru: ML1, ML2 i ML3. Fiecrei maini i corespunde un stoc de
intrare, respectiv: ST1, ST2 i ST3. n sistem se prelucreaz dou tipuri de
piese: p1 i p2. Piesele p1 sunt prelucrate mai nti pe maina ML1 i apoi pe
maina ML2. Piesele p2 sunt prelucrate pe maina ML1 i pe maina ML3.
n aceste condiii maina ML1 este o resurs partajat, acest lucru
impunnd o ordonanare a prelucrrilor pe aceasta main care s permit
trecerea alternativ a celor dou tipuri de piese: p1, p2, p1, p2 .a.m.d.
99
Capitolul 3.
Capitolul 3.
100
Capitolul 3.
101
Capitolul 3.
102
Capitolul 3.
103
Capitolul 3.
104
(3.15)
105
Capitolul 3.
(3.16)
Capitolul 3.
106
Capitolul 3.
107
Mulimea amplasamentelor:R={<ri>, 1 i n}
Mulimea culorilor A, asociate tranziiei T3 este: A=Ox{r1,r2,...,rn-1}.
Capitolul 3.
108
(3.17)
(3.18)
Capitolul 3.
109
(3.19)
(3.20)
(3.21)
(3.22)
Capitolul 3.
110
Capitolul 3.
111
112
Capitolul 3.
Pentru reeaua din figura 3.44 matricile Pre i Post sunt urmtoarele
113
Capitolul 3.
(3.27)
Capitolul 3.
114
Se verific dac:
apar blocaje;
se obine din nou marcajul iniial dup ce s-a trecut prin strile
posibile;
marcaj M1 care rezult din marcajul iniial M0 prin execuia unei tranziii Tk,
se face cu relaia:
M1=M0 + colTk Post - colTk Pre = M0 + colTk C
Unde:
reprezint
(3.29)
coloana aferent
(3.30)
Capitolul 3.
115
De asemenea:
Capitolul 3.
116
(3.35)
117
Capitolul 3.
Rezult marcaje n poziiile P1 i P6.
Capitolul 3.
118
Marcajul M3 permite executarea tranziiei T4, rezultnd:
(3.39)
Concluzii:
1 n toate marcajele M0 M1 M2 M3 M4 intervin dou puncte (marcaje), deci
reeaua este conservativ (suma punctelor este egal n toate strile);
2
119
Capitolul 3.
3.7.3.Analiza reelelor Petri generalizate
Fig.3.46. RP generalizat
Acesta se caracterizeaz prin mulimea poziiilor P={P1,P2} i prin
mulimea tranziiilor T={T1,T2,T3}. Arcele au capaciti mai mari sau egale
cu 1 .n aceste condiii matricile Pre i Post au urmtoarea structur:
Capitolul 3.
120
Matricea de inciden este:
(3.43)
Capitolul 3.
121
Capitolul 3.
122
Concluzii:
1. Secvena : S= {T2 ,T2, T3 ,T1}se poate executa;
2. M0 [S] >M4 (M4 = M1);
3. Reeaua considerat este conservativ (suma marcajelor este
constant n orice marcaj accesibil);
4. Reeaua este impur (P2 este poziie de intrare i n acelai timp
poziie de ieire pentru T2).
3.7.4. Analiza propietilor reelelor Petri prin calculul invarianilor
Definirea invarianiilor:
n cazul unei reele Petri un invariant este un vector linie (notat cu
IT) care are proprietatea c prin nmulirea sa cu vectorul oricrui marcaj
accesibil conduce la acelai rezultat.
Considernd relaia:
M' = M + colTkC
(3.50)
(3.52)
Capitolul 3.
123
(3.53)
respectiv
ITC=0
(3.55)
proprietior
reelelor
Petri
prin
intermediul
(3.56)
(3.57)
Capitolul 3.
124
unde:
Adic:
x1 m(P1)+ x2 m(P2)+...+ xn m(Pn) = x1 m0(P1)+x2 m0(P2)+...+ xn m0(Pn)
Expresia de mai sus reflect proprietile reelei Petri care
modeleaz sistemul surs.