Professional Documents
Culture Documents
GNU FDL
http://www.gnu.org/licenses/fdl.html
Motivacin
ORIGEN
K. PETRI
TESIS
DOCTORAL
Revisin histrica (I)
La ETAPA es REPRESENTADA
mediante un CUADRO identificado por
un NMERO. NO puede HABER dos
ETAPAS con el MISMO NMERO, pero
tampoco es necesario que sean nmeros
consecutivos ni que respeten ningn
orden. La ENTRADA es SIEMPRE por
ARRIBA. La SALIDA por ABAJO
Elementos del GRAFCET: Etapa (II)
Encender Luz
7 Avance Motor
Elementos del GRAFCET: Etapa (III)
Las TRANSICIONES se
representan con un TRAZO
PERPENDICULAR a la lnea
que une dos ETAPAS
consecutivas.
Elementos del GRAFCET: Transiciones (II)
8 9 8 9 8 9 8 9
=0 =1 =1 =0o1
10 10 10 10
Los TRAYECTOS
que unen una etapa
con otra se DIBUJAN
en sentido
VERTICAL; aunque
para resolver algunos
casos, hay que dibujar
una parte de los
mismos en sentido
HORIZONTAL
Elementos del GRAFCET: Uniones (II)
a + c ( a+b)
Toma en cuenta ( T1/5seg) Toma en cuenta
el flanco de el flanco de
subida de c bajada de (a+b)
Receptividaes asociadas a las Transiciones (II)
Algunos ejemplos de receptividades son los
siguientes:
Representacin:
Con la inicializacin
1
se indica las etapas
activas al principio
del funcionamiento
ETAPA
INICIAL
Las 5 reglas evolutivas del GRAFCET (II)
Tn-2
n-1
n m p
Tn-1
Tn Tm Tp
n
n+1 m+1 p+1
Tn
n+1
n+2
Tn+1 Tm+
m+2 1
............. p+2
Tp+1
T
j
En la seleccin de secuencia es
IMPRESCINDIBLE que las
receptividades asociadas a las
transiciones de seleccin, en el
ejemplo las TRANSICIONES
(2) y (7), sean
EXCLUYENTES, es decir no
puedan ser ciertas
simultneamente; por lo tanto
las secuencias son alternativas.
Estructuras bsicas: Salto de etapas
Si estamos en la etapa 3 y se
cumple b no se activarn las
etapas 4 y 5 si c es cierta.
Estructuras bsicas: Repeticin de secuencia
Se ir repitiendo la secuencia
formada por las etapas 2 y 3
hasta que b sea falsa y c cierta.
Estructuras bsicas: Paralelismo estructural
n-1
a b
n n+1
Divergencia en OR Convergencia en OR
Estructuras bsicas: Estructuras lgicas (II)
d+c
f
n-1 n+2
DIVERGENCIA OR
Estando activa la
etapa 0, pasa a
activa la etapa 1 si
se satisface la
receptividad de la
transicin 1, O pasa
a activa la etapa 3 si
se satisface la
receptividad de la
transicin 3
Estructuras bsicas: Estructuras lgicas (II)
CONVERGENCIA EN OR
La etapa 3 pasa a
ser activa si estando
activa la etapa 1 se
satisface la
receptividad de la
transicin 3, o si
estando la etapa 2
activa se satisface la
receptividad de la
transicin 4
Estructuras bsicas: Estructuras lgicas (II)
DIVERGENCIA EN AND
Las etapas 2 y 4 pasan al
estado activo si estando
activa la etapa 1 se
satisface la receptividad de
la transicin 2.
Estructuras bsicas: Estructuras lgicas (II)
CONVERGENCIA EN AND
SALTOS CONDICIONALES
Estructuras bsicas: Macro representaciones
E10
n
Expansin de la
n
Macro-Etapa f Macro-Etapa
A 11
M10
g
12
B
n+2
h
13
C
n+1
i
S10
D
NOVIEMBRE 2008
GNU FDL
http://www.gnu.org/licenses/fdl.html