Documente Academic
Documente Profesional
Documente Cultură
Lucrare:
Studenti:
Gheorghe Andrei-Florin
Ghita Andrei
Manole Eduard-Alexandru
Tret Adrian Ioan
2. Reeaua Petri
Poziii
Pozitie
init
Descriere
Actuator
p1
Depozitul 1
Y1
p2
Depozitul 2
Y2
p3
Depozitul 3
Y3
p4
Depozitul 4
Y4
p5
Se produce piesa A
Y5
p6
Se produce piesa B
Y5
p7
Se configureaza linia A
Y6
p8
X(1)
Se configureaza linia B
Y7
p9
X(1)
Disponibilitate linia A
p10
X(1)
Disponibilitate linia B
Tranziii
EV
t1
S1
t2
S2
t3
S3
t4
S4
t5
S5
t6
S7
t7
S9
t8
t9
S6
t10
S8
Acestea sunt:
a) Conflicte: P2-t5,t6; P4-t5,t6; P5-t7,t9; P6-t8;t10; P7-t5,t8;
P8-t6,t7;
b) Alegere libera: P2,P4t5,t6;
c) Alegere asimetrica: P1,P2-t5,t6; P3,P2-t5,t6; P1,P4-t5,t6;
P3,P4-t5,t6; P9,P7-t5,t8; P8,P10-t6,t7
d) Paralelism: e) Confuzie simetrica: P5,P8-t6,t7,t9; P6,P7-t5,t8,t10
f) Confuzie asimetrica: g) Sincronizare: P1,P2-t5; P2,P3-t6; P1,P4-t5, P3,P4-T6;
P2,P4-T6; P9,P7-t5; P8,P10-t6; P5,P8-t7; P6,P7-t8;
h) Post-conditie comuna: -
8. Concluzii:
Pasii produsi pentru rularea sistemului in Eclipse se pot
vedea din mesajul din consola.
Din simularea in PNTOOL reiese ca sistemul realizat nu
prezinta deadlock.