Documente Academic
Documente Profesional
Documente Cultură
Observaţii:
1. În relaţia de definiţie, mulţimea numerelor naturale apare drept
codomeniu al funcţiilor atunci când P i PD, iar mulţimea numerelor
reale pentru Pi PC.
2. Dacă Pi PD şi Tj TC , atunci Pre(Pi, Tj) = Post(Pi, Tj)
Mecanismul care asigură dinamica unei astfel de reţele reuneşte, în
mare măsură, particularităţile impuse de existenţa în cadrul aceleiaşi
structuri a unor elemente diferite - atât ca natură, cât şi din punct de
vedere al comportamentului.
mi > 0, (2.33)
sau
vk > 0 , Tk Pi , k 1, q (2.34)
MD
M (2.35)
MC
0 Dim Card {T D }
v , (2.36)
C C
v Dim Card {T }
unde:
- 0 este un vector cu toate componentele nule, de dimensiune egală
cu numărul tranziţiilor discrete ale reţelei;
- vC – vector ce conţine vitezele instantanee de execuţie ale
tranziţiilor continue din reţea, de dimensiune egală cu numărul
tranziţiilor discrete (2.36), [59].
unde:
Ndm i
- mi reprezintă variaţia elementară în timp a marcajului
dt
poziţiei Pi.
nD Dim Card {T D }
n , (2.38)
C
0 Dim Card {T }
în care:
- nD este vectorul de dimensiune egală cu numărul
tranziţiilor discrete ale reţelei, ale cărui elemente sunt numere
asociate execuţiei tranziţiilor ;
- 0 – vector de dimensiune egală cu numărul tranziţiilor
continue, cu toate elementele nule;
t
M M0 U n( t ) v(u ) du , (2.40)
0
în care:
M este vectorul marcajului curent al reţelei;
M0 – vectorul marcajului iniţial;
U este matricea de incidenţă.
Observaţii:
1.Într-oReţea Petri Hibridă sunt surprinse mult mai exact
interacţiunile dintre subsistemul operativ şi subsistemul de comandă,
părţii discrete fiindu-i, în general, rezervată modelarea modificărilor
de structură şi/sau comportament ale sistemului, subreţeaua
continuă rămânând să surprindă evoluţia stării între acţiunea a două
evenimente externe.
2.Nu există încă un punct de vedere unitar asupra formalizării
matematice a acestui tip de reţea, deoarece metodele proprii
sistemelor cu evenimente discrete sunt total diferite de cele utilizate
în teoria sistemelor continue, dar unele dintre soluţiile propuse sunt
încurajatoare [59], [65], [92].
3. Prin specificul lor, Reţelele Petri Hibride pot modela procese
continue particulare: amestecuri de constituenţi lichizi sau
pulverulenţi – în instalaţiile de dozare, sau de umplere (engl: batch
processes), linii de fabricaţie cu cadenţă ridicată etc., pentru care
alte metode de analiză nu sunt la fel de operante.
P1 T3
h1
P2 P4
R1 T2
T1
h1 v1 T4
v2
R2 h2 P3
h2
a b
P1
Stoc de intrare N1 Autorizarea
P2 producţiei
T1
Producţie P4
T2
Stop
S1 MA P3
S2 N2 N3
Stoc de ieşire
N3
a b
P5 T5 P6 P7 T7 P8
0,34 0,2
0,75
0,75
b.
a.
Autorizarea
Autorizarea
productiei
P2 productiei T2 P2
T2
P1 Productie P4
T1 T1
Productie Productie
Productie oprita
P3 10,3
oprita 0+
Stoc de iesire 15
15 P3
Stoc de iesire
T3
Consum Consum T3
a b
Fig. 2.21 Structură particulară a unei reţele hibride datorată arcelor
inhibitoare:
a) Restricţie în executarea unei tranziţii discrete, cu r = 10,3 şi m3 = 15;
b) Modelarea unui test de zero, cu r = 0+ şi m3 = 15.
Se cunosc mai multe structuri tipice construite prin introducerea de
arce inhibitoare prin care sunt introduse în model restricţiile de
comportament ale sistemului real, rezultate din interacţiunea cu
sistemele vecine (Fig. 2.22), [59], [70]. Ponderea r a arcului
inhibitor poate fi un număr natural (Fig. 2.22 a şi Fig. 2.22 b), real
pozitiv sau de valoare 0+ dacă originea arcului este o poziţie
continuă (P5 în Fig. 2.22 c şi P7 în Fig. 2.22 d).
P2 P1 P4 P3 P6 P5 P8 P7
0 0 0 0
r r r r
T2
T3 T4
T1
c d
a b
Fig. 2.22 Structuri obţinute prin introducerea arcelor inhibitoare în
reţelele hibride: a), b) Ponderea arcului inhibitor este un număr natural; c),
d) Ponderea arcului inhibitor este un număr real.
a
P1
Stoc intrare MA P1
T1 Prelucrare pe MA T1
P2
Prelucrare pe MA P2 dA P'2
P'2 Sfârşit
T2 prelucrare pe MA T2 dA
P3
Stoc intrare MB P3
Prelucrare pe MB T3
T3
P4
Prelucrare pe MB P4 dB P'4
P'4
Sfârşit T4
T4 prelucrare pe MB
dB
b c
P1
P1 2
2 P1 2
P'2
T12
V12=1/dA V12=1/dA
T12 T12
V12=1/dA P3
P'2
1
P3 1
P3 1
P'A TA TB P'B
V34=2/dB
T34
T34
V34=2/dB P'4 VA=1/dB VB=1/dB
a b c
T3
V3=q2
R1 P4
q1 m4 h2
h1 q2
Pompă
R2 T4 V4=q1
h2
a b
h 1, h 2
[cm]
200
180
150
100
50
P3
m3 h1
P1
Robinet deschis
T3
V3=q2
R1 T1 T2
q1 h1 R P4 m4 h2
Pompă d1 d2
q2 R2 P2
V4=q1
h2 T4 Functionare
pompa
100
a
50
100
50
(v3, v4)
m3 = 0 / 20
(0, 180)
T1 / 40 T1 / 70
(0, 180)
(0, 1) (0, 2) Starea 3
T2 / 75
(150, 30)
(1, 0) (3, 0) Starea 4
m3 = 0 / 50
(0, 180)
1 0 1
1 170 0 0
n(170 ) ; v( t ) dt , M (170 ) (2.45)
0 0 75 135
0 150 45
pozitie pozitie
Masini
ocupata ocupata
operationale
1 2 2 3 3
1
Masini
defecte
Observaţie:
Un astfel de model (Fig. 2.29) surprinde atât fluxul operaţional cât
şi posibilitatea apariţiei şi remedierii defectelor.
C. Sistem de transport
De multe ori, legătura între două sau mai multe staţii de lucru dintr-
o linie de fabricaţie este asigurată printr-un sistem de transport de tip
conveior (Fig. 2.30), alimentat printr-un stoc tampon la intrare (B1)
şi care, la ieşire are prevăzută o zonă de stocare – B2 intermediară.
N1 produse la L
fiecare t1 minute
Stoc Densitate maximă Stoc
B1 qc (produse / m) conveior B2
vc
t1 V3 t2 V4
N1 0 0 0
N1 0+ 0+
T1 P2 T3 P3 T2 P4 T4 P5
P6
Qc
P1
respectiv ieşirea din sistemul de transport (V3 = V4 = vc · qc).
Observaţii:
1. În cazul sistemelor flexibile de producţie, structura fizică a
sistemului se poate modifica în cursul funcţionării, schimbarea fiind
solicitată fie la sfârşitul intervalelor de producţie (prin trecerea la
fabricaţia unui alt produs), fie forţată de evenimente
aleatoare(apariţia defectelor). Modificarea poate afecta o serie de
parametri (mărimea loturilor de produse, cadenţa liniei etc.), sau
chiar structura acesteia. Prin urmare, este evident că modelul iniţial
de tip discret nu mai este valabil şi trebuie modificat.