Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Simen S
Simen S
GERMAN ZAPATA
Escuela de Ingeniera Elctrica y Mecnica. Universidad Nacional de Colombia sede Medelln .
ELIANA CARRASCO
Instituto Tecnolgico Metropolitano.
Recibido para revisar 17 de Abril de 2002, aceptado Junio 28 de 2002, versin final 24 de Septiembre de 2002.
INTRODUCCIN
66
Zapata y Carrasco.
RDP TEMPORIZADAS E
INTERPRETADAS
Definicin :
Una Red de Petri temporizada e interpretada es una
tupla
R = (P, T, I, Q, D, E, C, M),
donde:
es un conjunto finito no vaco de lugares.
P
es un conjunto finito no vaco de
T
transiciones.
I:P T
N es una funcin de entrada que
define un conjunto de arcos dirigidos de P a T de
peso N.
Q :P T
N es una funcin de salida que define
un conjunto de arcos dirigidos de T a P de peso N.
D : T R es una funcin de tiempo, que
asigna a cada transicin un retardo.
es una funcin que mapea a cada
E:T
transicin un evento perteneciente a un alfabeto .
67
P
68
Zapata y Carrasco.
ESTRUCTURAS GENERALIZADAS
SUBPROCESO A
Dispositivo
X
SUBPROCESO A
Dispositivo
X
AREA
FUNCIONAL 1
Dispositivo
Y
AREA
FUNCIONAL 2
Dispositivo
Y
SUBPROCESO B
Dispositivo
X
Dispositivo
Y
PROCESO
SUBPROCESO B
Dispositivo
X
Dispositivo
Y
SUBPROCESO C
Dispositivo
X
Dispositivo
Y
Los
dispositivos
o
estructuras
generalizadas se modelan mediante RdP, se
simulan y se validan mediante una
herramienta formal de anlisis, como los
grafos de ocurrencia (Murata, 1989) y (Kurt,
1997). Posteriormente son codificadas en
lenguajes de controladores lgicos como
bloques funcionales parametrizables.
Los dispositivos son los diferentes
actuadores utilizados en los procesos
industriales, los cuales en su forma ms bsica
poseen una seal de mando y una seal de
salida que maneja un elemento final de
control, existiendo gran cantidad de variantes
dependiendo del tipo y la forma como operan.
Los ms utilizados se enumeran en la Tabla 1.
DISPOSITIVO
SIM
Vlvulas
VSN
VSS
VSD
VDN
VDD
MSN
MSS
MSR
Motores
Tabla 1. Dispositivos
ACCION
Cilindros CSD
69
Out_F
Out_R
A_set_R
A_reset_R
P1
t1
t2
P2
P3
t3
t4
M_manual
M_A
Out
A_set
P1: Out_F = 0
Out_R = 0
P2: Out_R = 1
P3: Out_F = 1
Manual_R
t2: M_A A_set_F + Manual_F
t3:
t1: M_A A_set_R +
A_reset
+ M_A
A_reset_R
P1: out = 0
P2: out = 1
M_manual
+ M_A A_reset
+ M_A
70
Zapata y Carrasco.
Tabla 4. Dispositivo Doble efecto/doble
confirmacin
VDD
MAPEO DE ESTRUCTURAS A
LENGUAJES NORMALIZADOS (IEC
61131)
Acuse
Conf_F
Manual_F
A_set_F
A_reset_F
Out_F
Out_R
Conf_R
Fallo_F
Manual_R
A_set_R
A_reset_R
M_A
Fallo_R
V_temp1
V_temp2
P1
t3
t1
t2
P2
P3
t4
P4
t7
P1: Out_F = 0
Fallo_F = 0
P2: Out_R = 1
Temp1 = ON
P3: Out_F = 1
Temp2 = ON
P4: Out_R = 0
Fallo_R = 1
P5: Out_F = 0
Fallo_F = 1
t5
t6
P5
B
A B C
+ M_A A_reset_R
t4: temp1_out
t8
BC
+ M_A A_reset_F
t5: temp2_out
t7: Conf_R = 1
t8: Conf_F = 1
D
A
C
A
B
C
SA
!"#
SA
R
RB
RA
SEGMENTO 1
#M_A
71
A B
#A_set_f
C
P
#M_A
M20.4
#out_f
(P )
(S )
#manual_f
A
A C B
"
B.C
D
A
SEGMENTO 2
P
#M_A
A B
#A_set_r
M21.4
#out_r
(P)
(S)
C
#M_A
#manual_r
SEGMENTO 3
C
E
#M_A
"
M20.0
M20.1
(P)
( )
SEGMENTO 4
#M_A
M20.2
M20.3
(N)
( )
SEGMENTO 5
M20.1
NOM BRE
A _ se t
A _ se t
m an u al
A _ re se t
Af_ re se t
m an u al
M_
A u t_
O
O
f u t_
m1
C O M E N T A R IO S
S e al d e arran q u e au to m tico
S e al d e arran q u e au to m tico
A ctiv aci n e n m o d o m an u al
D e sactiv aci n e n m o d o au to m tico
D
( f e sactiv
d )aci n e n m o d o au to m tico
A ctiv aci n e n m o d o m an u al
( e le cto r)
S
S alid a l/
i
S
f alid a d
#out_f
(R)
#M_A
#manual_f
M20.3
#M_A
#A_reset_f
SEGMENTO 6
M20.1
#out_r
(R)
#M_A
#manual_r
M20.3
#M_A
#A_reset_r
72
6
Zapata y Carrasco.
APLICACION
P1: Vlvulas off
D IR EC C IN
A 124.0
A 124.1
A 124.2
A 124.3
A 124.4
A 124.5
E 124.0
E 124.1
E 124.2
E 124.3
E 124.4
E 124.5
E 124.6
E 124.7
E 125.0
E 125.1
E 125.2
E 125.3
E 125.4
E 125.5
T 1
T 2
T 3
T 4
M10.3
M10.4
M10.0
M10.1
M10.2
M10.5
M10.6
C OM EN TA R IO
Sole noide c e rra r pre nsa
Sole noide a brir pre nsa
Sole noide inye c ta r
Sole noide de sc omprimir
Sole noide e ye c tor a de la nte /a tr s
Conta c tor motor c arga
Pulsa dor inic io de c ic lo
Se le c tor ma nua l/a utom tic o
Mic rosuic he limite de ca rre ra pre nsa ce rra da
Mic rosuic he limite de ca rre ra pre nsa a bierta
Mic rosuic he limite de ca rre ra e yec tor a de la nte
Mic rosuic he limite de ca rre ra e yec tor a tr s
Mic rosuic he limite de ca rga
Mic rosuic he puerta ce rra da
Pulsa dor ma ndo ma nua l ce rra r pre nsa
Pulsa dor ma ndo ma nua l a brir pre nsa
Pulsa dor ma ndo ma nua l inye c ta r
Pulsa dor ma ndo ma nua l de sc omprimir
Pulsa dor ma ndo ma nua l ca rgar
Pulsa dor ma ndo ma nua l e ye c tor
Tie mpo de pa usa
Tie mpo de inye cc in
Tie mpo de de sc ompre sin
Tie mpo de e nfria mie nto
Ma rca ha bilita r ca rga r e n a utom tic o
Ma rca ha bilita r ca rga r modo ma nua l ha sta lmite de rec orrido
Ma rca ha bilita r ce rra r pre nsa e n a utom tic o
Ma rca ha bilita r ce rra r modo ma nua l ha sta lmite de re c orrido
Ma rca ha bilita r a brir modo ma nua l ha sta lmite de rec orrido
Ma rca ha bilita r e ye c tor e n a utom tic o
Ma rca ha bilita r e ye c tor modo ma nua l ha sta lmite de re c orrido
Programa de la Inyectora
VD N
VD N
"S 2"
"S 6"
"S 10 "
T2
T3
M 1 0 .0
T4
F B4
"y 3 "
"y 4 "
"S 11 "
"S 1"
M 1 0 .3
F B4
M 1 0 .1
"S 6"
"S 3"
"y 1 "
M 1 0 .2
"y 2 "
"S 1"
VSN
VSN
M 1 0 .5
F B1
"S 4"
F B1
"y 5 "
"S 6"
M 1 0 .6
"K 1"
M 1 0 .4
"S 1"
"S 1"
FC 1
EN
EN O
CONCLUSIONES
REFERENCIAS
Adamski, M. SFC, Petri Nets and application
73
74
Zapata y Carrasco.