Documente Academic
Documente Profesional
Documente Cultură
Entre dos etapas hay una transicin. A cada transicin le corresponde una receptividad,
es decir una condicin que se ha de cumplir para poder pasar la transicin. Una transicin
es vlida cuando la etapa inmediatamente anterior a ella est activa. Cuando una
transicin es vlida y su receptividad asociada se cumple se dice que la transicin es
franqueable.
Al franquear una transicin se desactivan sus etapas anteriores y se activan las posteriores.
Las etapas iniciales, que se representan con lnea doble, se activan en la puesta en
marcha.
Los tres niveles del GRAFCET
El GRAFCET puede utilizarse para describir los tres niveles de especificaciones de un
automatismo. Estos tres niveles son los que habitualmente se utilizan para disear y para
describir un automatismo.
Este GRAFCET no debe contener ninguna referencia a las tecnologas utilizadas; es decir
no se especifica cmo hacemos avanzar la pieza (cilindro neumtico, motor y cadena, cinta
transportadora, etc.), ni cmo detectamos su posicin (fin de carrera, detector capacitivo,
detector fotoelctrico, etc.), ni tan solo el tipo de automatismo utilizado (autmata
programable, neumtica, ordenador industrial, etc.).
GRAFCET de nivel 2: Descripcin tecnolgica
En este nivel se hace una descripcin a nivel tecnolgico y operativo del automatismo.
Quedan perfectamente definidas las diferentes tecnologas utilizadas para cada funcin. El
GRAFCET describe las tareas que han de realizar los elementos escogidos. En este nivel
completamos la estructura de la mquina y nos falta el automatismo que la controla.
Conceptos bsicos
Una etapa del GRAFCET se representa mediante un cuadrado identificado por un nmero;
en este caso se ha representado la etapa 3. No puede haber dos etapas con el mismo
nmero pero tampoco es necesario que sean nmeros consecutivos ni que respeten ningn
orden. La entrada a una etapa es siempre por la parte superior y la salida por la parte
inferior.
Una etapa puede estar activa o inactiva. Cuando representamos el estado de un GRAFCET
en un instante determinado, podemos representar las etapas activas con un punto en su
interior; en este caso la etapa 6 est activa. Tambin podemos representar las etapas
activas sombreando su interior, en este caso la etapa 9 est activa. Al representar el
GRAFCET en un instante, estamos representando el sistema en aquel instante. Un
GRAFCET puede tener varias etapas activas simultneamente.
Un cuadrado con lnea doble simboliza una etapa inicial del GRAFCET; en este caso la
etapa 7. Las etapas iniciales son las que se activan al inicializar el GRAFCET. Una vez se
ha inicializado el GRAFCET, las etapas iniciales actan como etapas normales. Puede
haber tantas etapas iniciales como se desee pero como mnimo una. Pueden estar situadas
en cualquier lugar dentro del GRAFCET.
Las transiciones se representan con un trazo perpendicular a la lnea que une dos etapas
consecutivas. Una transicin est validada cuando todas las etapas inmediatamente
anteriores estn activas.
Una etapa puede tener ms de una salida. A continuacin se han representado tres casos
en los que una etapa tiene tres salidas.
Hay que evitar aquellas representaciones que puedan inducir a confusin, como, por
ejemplo, las siguientes en las que se puede dudar si hay o no hay conexin entre la lnea
vertical y la horizontal.
Caminos y re-envos
Los caminos que unen una etapa con otra se dibujan preferentemente en sentido vertical;
aunque para resolver algunas representaciones hay que dibujar una parte de los mismos en
sentido horizontal o en diagonal. Mientras no se especifique lo contrario, la evolucin de un
camino siempre es en sentido descendente, es decir de arriba a abajo. En la figura se ha
representado un camino que evoluciona en sentido vertical ascendente.
Cuando un GRAFCET se complica o no cabe en una sola pgina son necesarios los re-
envos. Hay personas que prefieren no trazar nunca caminos de recorrido ascendente y
prefieren sustituirlos por re-envos. Para los casos en que el GRAFCET no sea muy grande,
podemos utilizar la siguiente notacin.
En cambio cuando el GRAFCET ocupa unas cuantas pginas, puede ser preferible indicar,
adems de la etapa de procedencia o de destino, la pgina donde esta est situada para
que su localizacin sea ms rpida.
En algunos casos interesa utilizar etapas sin ninguna accin. Las aplicaciones ms
corrientes son aquellas en que el sistema esta esperando que se produzca una
determinada circunstancia.
Las acciones se representan como rectngulos unidos por un trazo con la etapa a la que
estn asociadas. El rectngulo puede tener las dimensiones necesarias para que se pueda
indicar la accin a realizar. En este caso la accin asociada a la etapa 3 es la apertura de
una determinada vlvula.
Segn el tipo de GRAFCET que estemos realizando, las acciones se pueden escribir en
forma literal (cerrar vlvula, avanzar cilindro, etc.) o en forma simblica (XBR, SL1, etc.), en
este segundo caso ser necesaria una tabla donde se indique el significado de los smbolos
utilizados. En el caso de que una etapa tenga ms de una accin, se pueden representar
de varias formas, como muestran las figuras siguientes.
Las acciones pueden estar condicionadas. Cuando una accin est condicionada slo se
ejecuta mientras la etapa est activa y, adems, se verifica la condicin. En las figuras
siguientes se han dibujado dos formas de representar que la etapa 3 tiene dos acciones de
las cuales la accin de calentar tiene una condicin (termostato).
Receptividades asociadas a las transiciones
Llamamos receptividad a la condicin que se requiere para poder franquear una transicin
vlida. Una receptividad puede ser cierta o falsa y se puede describir en forma literal (fin
retroceso, temperatura alcanzada, etc.) o en forma simblica (SA1, BQ3, etc.), en este
segundo caso ser necesaria una tabla donde se indique el significado de los smbolos
utilizados.
Una receptividad puede estar compuesta por un solo dato o por una ecuacin booleana que
incluya varios datos. Mientras el resultado de la ecuacin booleana sea 0 (falso) la
transicin no podr ser franqueada y s podr serlo cuando el resultado sea 1 (cierto). Los
datos que componen la ecuacin booleana de una receptividad pueden ser externos o
internos; los primeros implican la comprobacin de variables en el sistema que se est
controlando mientras que las internas dependen de funciones propios del sistema de
control (valor de un contador, etc.). En las ecuaciones booleanas el signo + representa la
funcin O, el signo representa la funcin Y y una lnea sobre la condicin o variable
correspondiente representa la negacin (funcin NO).
BQ2 (SL1 + SA1) Cierta si BQ2 est activado y tambin SL1 o SA1
Estructuras bsicas
Secuencia
Una secuencia es una sucesin alternada de etapas y transiciones en la que las etapas se
van activando una detrs de otra. Una secuencia est activa cuando, como mnimo, una de
sus etapas est activa. Una secuencia est inactiva cuando todas sus etapas estn
inactivas.
Seleccin de secuencia
A partir de una determinada etapa, hay dos (o ms) secuencias entre las que se escoger
en funcin de las transiciones. No es necesario que las distintas secuencias tengan el
mismo nmero de etapas. En la figura, si estamos en la etapa 8 y b es cierta iremos por la
secuencia de la derecha si C es falsa y por la de la izquierda si c es cierta. Las dos
secuencias confluyen en la etapa 5.
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.
Salto de etapas
Es un caso particular de seleccin entre dos secuencias en el que una de las secuencias no
tiene ninguna etapa. En la figura, si estamos en la etapa 3 y se cumple b no se activarn las
etapas 4 y 5 si c es cierta.
Repeticin de secuencia
Es un caso particular del salto de etapas en el que el salto se realiza en sentido
ascendente, de forma que se repite la secuencia de etapas anteriores al salto. En la figura,
se ir repitiendo la secuencia formada por las etapas 2 y 3 hasta que b sea falsa y c cierta.
Paralelismo estructural
A partir de una determinada etapa, hay dos (o ms) secuencias que se ejecutan
simultneamente. No es necesario que las distintas secuencias tengan el mismo nmero de
etapas. El inicio de secuencias paralelas se indica con una lnea horizontal doble despus
de la transicin correspondiente. De forma similar, el final de las secuencias paralelas se
indica con otra lnea horizontal doble antes de la transicin correspondiente; esta transicin
slo es vlida cuando todas las etapas inmediatamente anteriores estn activas. En la
figura, al franquear la transicin (4), se activarn las etapas 2 y 3 y las dos secuencias
trabajarn simultneamente. La transicin (1) slo ser vlida cuando estn activas las
etapas 3 y 5.
Paralelismo interpretado
El paralelismo interpretado aparece cuando una etapa tiene dos (o ms) salidas y las
transiciones correspondientes no son excluyentes.
Reglas de sintaxis
No puede haber nunca dos transiciones consecutivas sin una etapa en medio. As pues la
figura representa un GRAFCET incorrecto ya que o bien le falta una etapa entre las
transiciones 7 y 8 (que puede ser una etapa sin accin asociada, si as le corresponde) o
deben ponerse todas las condiciones en la misma transicin.
No puede haber nunca dos etapas consecutivas sin transicin intermedia. As pues la figura
representa un GRAFCET incorrecto ya que o bien le falta una transicin entre las etapas 4 y
5 o deben ponerse todas las acciones en una de las dos etapas.
Condicionamiento de acciones y receptividades
Las acciones y las receptividades pueden venir condicionadas, adems de por variables
externas, por el estado de activacin de las etapas o por el tiempo.
La primera notacin establece que la condicin dependiente del tiempo consta de la letra t
seguida de una barra, despus hay el nmero de etapa que se toma en consideracin, una
nueva barra y el tiempo a considerar. Esta condicin es cierta cuando el tiempo transcurrido
desde la ltima activacin de la etapa indicada supera el tiempo fijado. Por ejemplo la
condicin t/7/5s ser cierta cuando hayan pasado cinco segundos desde la ltima
activacin de la etapa 7.
La segunda notacin (fijada por la norma IEC-848) establece que la condicin dependiente
del tiempo consta de un primer valor (que llamamos t1) seguido de una barra, despus hay
una variable cualquiera, una nueva barra y el segundo valor de tiempo a considerar (que
llamamos t2). Esta condicin pasa de falsa a cierta cuando el tiempo transcurrido desde la
ltima activacin de la variable indicada supera el tiempo t1 y pasa de cierta a falsa cuando
ha transcurrido un tiempo t2 desde la ltima desactivacin de la variable considerada. Por
ejemplo la condicin 5s/X7/7s pasar a ser cierta cuando hayan pasado cinco segundos
desde la ltima activacin de la etapa 7 y volver a falsa cuando hayan pasado siete
segundos de la desactivacin de la etapa 7.
En el caso de que uno de los dos tiempos (t1 o t2) sea nulo tiene preferencia la versin
simplificada de esta notacin en la que slo se indica el valor distinto de cero. Por ejemplo
la condicin 5s/X7 pasar a ser cierta cuando hayan pasado cinco segundos des de la
ltima activacin de la etapa 7 y volver a falsa cuando se desactive la etapa 7. En cambio
la condicin X7/7s pasar a ser cierta cuando se active la etapa 7 y volver a falsa cuando
hayan pasado 7 segundos desde la desactivacin de la etapa 7.
Ambas notaciones son muy diferentes y no hay equivalencias entre la una y las otras.
Ejemplos
Para iniciar el ciclo hay un pulsador de puesta en marcha. Al inicio del ciclo se llenar
de agua el tambor a travs de la electrovlvula EVR hasta que se active el detector
de nivel. Este detector de nivel se activa cuando el tambor est lleno de agua y se
desactiva cuando est vaco.
El lavado constar de cincuenta ciclos. En cada ciclo el motor girar treinta segundos
en sentido horario (motor H) y treinta ms en sentido antihorario (motor A), dejando
una pausa de medio segundo en cada cambio de sentido.
Despus del lavado se vaciar el agua del tambor, mediante la bomba, hasta que se
desactive el detector de nivel. Mientras funcione la bomba, el tambor girar (motor
A).
Despus del lavado, habr cuatro aclarados. Cada aclarado comenzar llenando de
agua el tambor a travs de la electrovlvula EVE hasta que se active el detector de
nivel. Un aclarado constar de diez ciclos. En cada ciclo el motor girar treinta
segundos en cada sentido, dejando una pausa de medio segundo en cada cambio
de sentido (igual como en el lavado).
Despus de cada aclarado se vaciar el agua del tambor, mediante la bomba, hasta
que se desactive el detector de nivel. Mientras funcione la bomba, el tambor girar
(motor A).
Una vez termine el ltimo aclarado, se centrifugar (motor C) durante cinco minutos.
Durante el centrifugado ha de funcionar la bomba de vaciado.
Dado que tanto el lavado como el aclarado siguen el mismo proceso con la nica diferencia
del nmero de repeticiones y la vlvula de entrada de agua, hemos hecho un GRAFCET
con esta parte (etapas 3, 4, 5 y 6) comn. En el lavado, la entrada del agua se hace en la
etapa 1 mientras que en el aclarado se hace en la 2. El centrifugado (etapa 9) slo se hace
al acabar el ltimo aclarado. El contador C1 cuenta el nmero de ciclos (cincuenta en el
lavado y 10 en cada aclarado) y el contador C2 cuenta el nmero de veces que se toma
agua para aclarar (en el lavado C2=0).
Este GRAFCET se puede dibujar de una forma ms compacta si la etapa inicial no se pone
arriba.
Automatizacin de una mquina de etiquetar latas
Se trata de una mquina que pone la etiqueta a unas latas y despus imprime la fecha de
fabricacin. Las latas entran en la mquina y esta las pone en la plataforma de etiquetado
(PE), all las etiqueta y despus las deja en la plataforma intermedia (PM). Cuando la lata
llega a la plataforma intermedia ya puede poner una nueva en la plataforma de etiquetado.
Este automatismo se puede resolver de la siguiente forma, donde la etapa 2 sirve para
esperar que la plataforma intermedia est vaca (etapa 4), la etapa 4 se utiliza para esperar
a que la lata est etiquetada (etapa 2), la etapa 9 es para esperar a que haya una lata en la
plataforma intermedia (etapa 5) y la etapa 5 para esperar a que la plataforma de impresin
est vaca (etapa 9).
Conceptos avanzados
Reglas de evolucin
Representacin de las acciones segn IEC-848
Etapas y transiciones fuente y pozo
Etapas consecutivas activas
Combinacin de estructuras bsicas
Tiempo interno y tiempo externo
Reglas de evolucin
Cuando se dibuja un GRAFCET, se pretende describir un automatismo o cualquier otro
conjunto de sucesos condicionales y secuenciales. Al hacer trabajar este GRAFCET (es
decir, al llevarlo a la prctica) se deben respetar unas reglas (reglas de evolucin) ya que,
en caso contrario, el funcionamiento del automatismo o del conjunto de sucesos no sera el
que cabra esperar a la vista del GRAFCET representado.
A continuacin citaremos cada una de las cinco reglas de evolucin del GRAFCET
acompaadas, si es necesario, de algn ejemplo en el que sea importante el cumplimiento
de la regla que se est comentando.
Regla 1: Inicializacin
En la inicializacin del sistema se han de activar todas las etapas iniciales y slo las
iniciales.
Ahora la etapa 1 est activa, lo que implica que la transicin (7) est validada. El sistema se
mantendr estable en esta situacin mientras la receptividad a sea falsa (a=0).
En esta situacin le etapa 1 est activa, lo que implica que la transicin (7) est validada.
Dado que la receptividad a es cierta (a=1), la transicin es franqueable y, por tanto, debe
ser obligatoriamente franqueada. Esto implica que la situacin representada es una
situacin que no puede existir nunca ya que el franqueo de la transicin ha de ser inmediato
a la activacin de a.
Ahora las etapas 2 y 3 estn activas, lo que implica que la transicin (7) est validada. El
sistema se mantendr estable en esta situacin mientras la receptividad m sea falsa (m=0).
En esta situacin las etapas 2 y 3 estn activas, lo que implica que la transicin (7) est
validada. Dado que la receptividad m es cierta (m=1), la transicin es franqueable y, por
tanto, ha de ser obligatoriamente franqueada. Esto implica que la situacin representada es
una situacin que no puede existir nunca ya que el franqueo de la transicin ha de ser
inmediato a la activacin de m.
Si no se verificase la cuarta regla, una de las dos transiciones sera franqueada antes que
la otra que, por tanto, dejara de ser vlida y, por ello, ya no sera franqueable. La estructura
que se ha presentado en la figura de la derecha se llama segunda forma de paralelismo
interpretado. A menudo es conveniente sealar con un asterisco (*) aquellas transiciones en
las que el cumplimiento de la cuarta regla es imprescindible para el correcto
funcionamiento, tal como hemos hecho en la figura de la derecha.
Esta regla tan simple es la que es deja de cumplirse con ms facilidad ya que cuando se
implanta un GRAFCET sobre un sistema automatizado (rels, neumtica, autmatas
programables, etc.) es corriente utilizar elementos de memoria para almacenar la
informacin de actividad de las etapas. Estos elementos de tipo memoria, pensando en la
seguridad, tienen habitualmente la desactivacin como entrada prioritaria; esto implica que
debe irse con cuidado ya que es probable que el funcionamiento no sea el correcto. Por
suerte hay pocos casos en los que una etapa deba ser activada y desactivada al mismo
tiempo. A continuacin vemos algunos ejemplos.
Una accin genrica se representar como en la figura siguiente donde la casilla 2 contiene
la descripcin de la accin, la casilla 3 contiene la etiqueta que indica la referencia de la
seal de comprobacin de la ejecucin y la casilla 1 indica las caractersticas lgicas que
relacionen la realizacin de la accin con la activacin de la etapa, segn la relacin
siguiente.
C Accin condicionada
D Accin retardada
P Accin impulsional
S Accin memorizada
La tercera casilla se utiliza en pocas ocasiones. Se trata de sealar (con una etiqueta
alfanumrica) cual de las condiciones indicadas en la receptividad inmediatamente posterior
a la etapa, indica que la accin se est ejecutando o se ha ejecutado. Slo deben
representarse las casillas 1 y 3 en caso de que sean necesarias.
La accin retardada (letra D) implica que la accin empieza un cierto tiempo despus de la
activacin de la etapa, siempre que la etapa todava siga activa. En el ejemplo, se
empezar a cerrar despus de medio segundo contado desde la activacin de la etapa 2.
Se dejar de cerrar cuando se desactive la etapa 2. Si la etapa se desactiva antes de los
0.5 s no se debe cerrar. El caso de accin retardada se puede representar con un
GRAFCET que slo tenga acciones sencillas, como muestra la figura. Fijmonos que debe
preverse el caso de que la receptividad final (k) sea cierta antes del transcurso del tiempo.
La accin limitada (letra L) implica que la accin termina un cierto tiempo despus de la
activacin de la etapa, siempre que la etapa todava siga activa. En el ejemplo, la sirena ha
de comenzar a sonar cuando se active la etapa 3 y sonar durante dos segundos excepto
en el caso de que la etapa 3 se desactive antes, en cuyo caso la sirena dejara de sonar al
desactivarse la etapa. El caso de accin limitada se puede representar con un GRAFCET
que slo tenga acciones sencillas, como muestra la figura. Fijmonos que debe preverse el
caso de que la receptividad final (h) sea cierta antes del transcurso del tiempo.
La accin impulsional (letra P) corresponde a una accin limitada a un iempo muy corto. La
accin de activar comenzar cuando se active la etapa 4 y se desactivar inmediatamente.
La duracin de los impulsos ser un tiempo muy pequeo pero suficiente para conseguir el
efecto deseado.
Las acciones memorizadas implican que en una etapa determinada se activa una accin y
esta accin se desactiva en otra etapa. En el ejemplo siguiente XBR se activa en la etapa 6
(XBR=1) y se desactiva en la 8 (XBR=0). Las acciones memorizadas pueden representarse
tambin mediante un paralelismo, como puede verse en la figura.
La primera casilla puede contener ms de una letra. En estos casos el orden en que estn
las letras en la casilla indica el orden en que se han de realizar las funciones indicadas. En
algunos casos este orden no tiene importancia pero en otros puede ser decisivo.
Cuando se active la etapa 7 se memoriza (S) y la accin de bajar se realizar cada vez que
el sensor se active. Dejar de realizarse la accin, aunque se active el sensor, cuando se
encuentre un "Bajar=0".
Cuando la etapa 1 est activa y, adems, est cerrado el contacto del termostato, se
memorizar la accin de abrir que ser realizada en forma permanente aunque el
termostato cambie de estado. Dejar de realizarse la accin cuando se encuentre un
"Abrir=0".
Etapas y transiciones fuente y pozo
La figura siguiente representa una etapa fuente. La etapa 7 se activar al inicializar el
sistema y se desactivar cuando la receptividad m sea cierta. No podr volverse a activar
hasta que haya una nueva inicializacin del GRAFCET. Equivale a una etapa en la que la
transicin anterior a ella es siempre falsa.
La figura siguiente representa una transicin fuente, es decir una transicin siempre
validada. Cada vez que la receptividad m sea cierta, la etapa 1 se activar.
La figura siguiente representa una etapa pozo. Esta etapa, una vez activada no se puede
desactivar. La primera vez que la etapa 4 est activa y a sea cierta, se desactivar la etapa
4 y se activar la 7 (como es lgico). Las siguientes veces en que la etapa 4 est activa y a
sea cierta, se desactivar la etapa 4 y la etapa 7 seguir activada. Equivale a una etapa en
la que la transicin posterior a ella es siempre falsa. Es posible que una etapa sea fuente y
pozo al mismo tiempo.
Finalmente, la figura representa una transicin pozo. Cada vez que la receptividad sea
cierta, se desactivar la etapa anterior. Equivale a una transicin seguida de una etapa
pozo. Es recomendable que las transiciones pozo vayan asociadas a receptividades
condicionadas por flanco.
Hay que ir con cuidado al tratar secuencias en las que puedan haber varias etapas activas
simultneamente. Veamos, como ejemplo la evolucin siguiente.
Como hemos podido observar, un GRAFCET con varias etapas activas puede pasar a tener
slo una segn como se hayan planteado las receptividades y segn en que orden se
activen las entradas.
En algunas ocasiones puede ser necesario iniciar un paralelismo inmediato a una seleccin
de secuencia o una seleccin de secuencia inmediata a un paralelismo. En el primer caso,
tanto el inicio como el final de la citada estructura no representan ningn problema, como
puede verse en las figuras siguientes.
Una misma situacin puede ser estable o inestable segn cuales sean los estados de las
variables del sistema en aquel momento.
Las acciones asociadas a etapas no estables no deben ejecutarse (ya que slo se ven en la
escala de tiempo externa) pero s los forzados (que actan en la escala de tiempo interna).
En la escala de tiempo externa, las acciones que se mantienen en dos o ms etapas
consecutivas se han de realizar sin interrupcin.
A continuacin estudiaremos una serie de casos tanto desde el punto de vista del tiempo
interno como en tiempo externo para ver las diferencias. Para cada caso indicaremos la
evolucin de los estados. Los estados correspondientes a situaciones no estables y las
evoluciones en escala de tiempo interna se han representado en color rojo.
Por este motivo, no tiene sentido que un GRAFCET tenga una transicin siempre vlida
(=1) que slo est validada por una nica etapa con acciones asociadas, ya que estas
acciones no se realizarn nunca.
El ejemplo siguiente permite ver lo que pasa en el caso anterior si la etapa 2 tiene una
accin asociada.
La accin HL1 slo se ha representado en la escala de tiempo externo ya que las acciones
no tienen sentido en la escala de tiempo interno. Como se ha podido ver, la accin HL1 no
se realiza.
Dado que el cambio de estado (flanco) de la variable a llega cuando la etapa 1 est
validada, la transicin es franqueable y el GRAFCET cambia a una nueva situacin. En este
caso hemos obtenido el mismo resultado con una transicin por flanco que con una
transicin booleana (por nivel).
En este caso el resultado obtenido con una transicin por flanco ha sido diferente del que
habamos obtenido con una transicin booleana.
En un mismo sistema no puede haber dos etapas (ni dos transiciones) con el mismo
nmero, aunque estn en GRAFCETs parciales diferentes.
Si nos fijamos en el GRAFCET anterior vemos que para pasar de la etapa 2 a la etapa 3
haba una receptividad =1 pero, dado que haba un paralelismo, se deba esperar que la
etapa 4 estuviese activa. Ahora para pasar de 2 a 3 la receptividad ser X4. De la misma
manera, para pasar de la etapa 9 a la etapa 6 haba una receptividad =1 pero, dado que
haba un paralelismo, se deba esperar que la etapa 5 estuviese activa. Ahora para pasar
de 9 a 6 la receptividad ser X5.
Por lo que se refiere a G5, dado que poner y sacar latas de la plataforma intermedia ya lo
hacen G2 y G7, este GRAFCET slo servir como memoria para saber si hay o no latas en
esta plataforma; entra una lata cuando se activa X3 y sale una cuando se activa X6.
Los GRAFCETs parciales no slo se utilizan para simplificar las representaciones sino que
tambin pueden usarse para funciones auxiliares. En el ejemplo anterior, el GRAFCET G5
se ha utilizado para memorizar el estado de la plataforma intermedia.
Jerarqua y forzado
Cuando un sistema est constituido por varios GRAFCETs parciales, es posible que un
GRAFCET fuerce el estado de otro. El forzado de GRAFCETs abre un abanico de
posibilidades, especialmente para el tratamiento de defectos de funcionamiento y
emergencias.
El forzado implica una jerarqua entre GRAFCETs parciales. La jerarqua no viene fijada por
la representacin de los GRAFCETs o por como se han denominado sino que la fija el
diseador del sistema cuando hace que un GRAFCET fuerce o no a otro.
Reglas de jerarqua
Las reglas de jerarqua definen las condiciones de diseo de sistemas jerarquizados. Estas
reglas son dos:
En todo instante, un GRAFCET slo puede ser forzado por otro GRAFCET.
Es decir, el forzado sigue una jerarqua en la que cada miembro slo puede ser forzado por
su superior inmediato.
Reglas de forzado
Las reglas de forzado fijan la forma de interpretar una orden de forzado. Estas reglas son
dos:
El forzado es una orden interna que aparece como consecuencia de una evolucin. En una
situacin que comporte una o ms rdenes de forzado, los GRAFCETs forzados deben
pasar en forma inmediata y directa a la situacin forzada.
En este caso, al activarse la etapa 1, el GRAFCET G2 pasa a tener activadas las etapas 9,
10 y 12 (y slo estas) y se mantendr en esta situacin hasta que se desactive la etapa 1.
Al activarse la etapa 8, el GRAFCET G4 pasa a tener todas sus etapas desactivadas y se
mantendr en esta situacin hasta que se desactive la etapa 8. Despus habr que forzarle
alguna etapa dado que sino continuar indefinidamente sin ninguna etapa activa.
Macroetapas
El GRAFCET es un mtodo de descripcin de sistemas que permite comenzar por niveles
de descripcin muy generales (GRAFCET de nivel 1) hasta describir completamente el
proceso (GRAFCET de nivel 3). Dentro de esta tendencia a tener varios puntos de vista
ms o menos detallados, se proponen las macroetapas como representaciones de
secuencias que, en conjunto, constituyen una actividad.
La expansin de una macroetapa puede contener etapas iniciales pero ha de ser siempre
conexa. La expansin de una macroetapa siempre tendr una sola etapa de entrada y una
sola etapa de salida. La etapa de entrada se activar cuando se active la macroetapa. La
activacin de la etapa de salida implicar la validacin de las transiciones inmediatamente
posteriores a la macroetapa.
Tambin podemos incluir dentro de una macroetapa todo el conjunto de ciclos, como hemos
hecho en la macroetapa M2 del ejemplo siguiente. En este caso la transicin de salida de la
macroetapa es =1 ya que las condiciones de final ya estn dentro de la macroetapa y no
hay ninguna seleccin de secuencia a la salida.
Modos de marchas y paradas
Presentacin de la gua GEMMA
Descripcin de la gua GEMMA
Utilizacin de la gua GEMMA
Para fijar una forma universal de denominar y definir los diferentes estados que puede tener
un sistema, la ADEPA (Agence nationale pour le Dveloppement de la Productique
Applique l'industrie, Agencia nacional francesa para el desarrollo de la prodctica
aplicada a la industria) ha preparado la gua GEMMA (Guide d'Etude des Modes de
Marches et d'Arrts, Gua de estudio de los modos de marchas y paradas).
La GEMMA es una gua grfica que permite presentar, de una forma sencilla y
comprensible, los diferentes modos de marcha de una instalacin de produccin as como
las formas y condiciones para pasar de un modo a otro.
La GEMMA representa cada una de las cuatro situaciones (sin alimentar, funcionamiento,
parada y defecto) mediante sendos rectngulos y la produccin mediante un quinto
rectngulo que se interseca con los tres rectngulos principales, tal como muestra la figura
siguiente.
Cada una de las situaciones mencionadas se puede subdividir en varias de forma que, al
final, hay 17 estados de funcionamiento posibles que estudiaremos a continuacin.
Conviene mencionar que no todos los procesos precisarn todos estos estados pero
podemos afirmar que los estados necesarios en cada proceso podrn fcilmente
relacionarse con una parte de los que propone la GEMMA.
La gua propone tambin los principales caminos para pasar de un estado a otro.
F3 Marcha de cierre. Corresponde a la fase de vaciado y/o limpieza que muchas mquinas
han de realizar antes de parar o de cambiar algunas caractersticas del producto.
F4 Marchas de verificacin sin orden. En este caso la mquina, normalmente por orden del
operador, puede realizar cualquier movimiento (o unos determinados movimientos
preestablecidos). Se usa para tareas de mantenimiento y verificacin.
F5 Marchas de verificacin en orden. En este caso la mquina realiza el ciclo completo de
funcionamiento en orden pero al ritmo fijado por el operador. Se usa para tareas de
mantenimiento y verificacin. En este estado existe la posibilidad de que la mquina
produzca.
A2 Parada pedida a final de ciclo. Es un estado transitorio en el que la mquina, que hasta
aquel momento estaba produciendo normalmente, debe producir slo hasta acabar el ciclo
actual y pasar a estar parada en el estado inicial.
A6 Puesta del sistema en el estado inicial. El sistema es llevado hasta la situacin inicial
(normalmente situacin de reposo); una vez realizado, la mquina pasa a estar parada en el
estado inicial.
A7 Puesta del sistema en un estado determinado. El sistema es llevado hasta una situacin
concreta diferente de la inicial; una vez realizado, la mquina pasa a estar parada.
D3 Produccin a pesar de los defectos. Corresponde a aquellos casos en los que se debe
continuar produciendo a pesar de que el sistema no trabaja correctamente. Incluye los
casos en los que, por ejemplo, se produce para agotar un reactivo no almacenable o
aquellos otros en los que no se sigue el ciclo normal dado que el operador sustituye a la
mquina en una determinada tarea a causa de una avera.
El grfico siguiente es una traduccin del propuesto por la ADEPA en la GEMMA. Puede
descargarse, en formato PDF, una versin en blanco y negro y otra en color.
En el caso de que un estado no sea posible o sea innecesario, har una cruz indicando
claramente que aquel estado no se ha de considerar.
Una vez definidos los diferentes estados, ser necesario estudiar entre que estados la
evolucin es posible; recordando que la gua lleva indicados con lnea discontinua los
caminos entre estados de uso ms habitual. Estas evoluciones se indicarn resiguiendo los
caminos marcados con una lnea continua ms gruesa o, en el caso de que el camino
deseado no est propuesto, trazndolo con las mismas caractersticas que los dems.
Mientras la mquina funcione etapa a etapa ser necesario pulsar un pulsador para pasar
de una etapa a la siguiente. Seleccionando el modo normal la mquina pasar al estado de
produccin normal (F1).
Paradas de emergencia
El sistema est funcionando normalmente (F1) y se pulsa el pulsador de parada de
emergencia. Esto, en los sistemas habituales, implica normalmente dejar sin alimentacin
(fsicamente, sin intervencin del sistema de control) todo el sistema de produccin que, por
diseo, quedar en posicin segura al quedarse sin alimentacin.
En este caso hay dos posibilidades de uso habitual segn el tipo de sistema que se est
controlando. En el primer caso se lleva al sistema hasta el estado inicial (A6), lo que a
menudo requiere la intervencin del operador y, una vez alcanzado (A1), el sistema espera
una nueva puesta en marcha pulsando el pulsador de marcha que har recomenzar el
proceso de produccin (F1).
La segunda posibilidad consiste en llevar al sistema hasta a un estado determinado (A7), lo
que a menudo requiere la intervencin del operador y, una vez alcanzado (A4), el sistema
espera la nueva puesta en funcionamiento cuando el operador pulse el pulsador de marcha
que har continuar el proceso (F1) a partir de la etapa alcanzada.
Parada en un punto
El sistema est funcionando en produccin normal (F1) y el operador pulsa el pulsador de
parada; entonces se pasa a la situacin de parada pedida (A3) y, una vez alcanzado el
punto deseado, el sistema se para (A4).
Se debe pulsar el pulsador de arranque para que el sistema siga funcionando (F1) a partir
del punto de parada.
Metodologa
Para implementar un automatismo se deben seguir los siguientes pasos:
Estudiar
los diferentes estados de la GEMMA para determinar cuales son los estados
necesarios en el automatismo y hacer su descripcin.
Definir sobre la GEMMA las condiciones de evolucin entre los diferentes estados.
Este mtodo contempla todas las estructuras que hemos estudiado siempre que las
receptividades sean booleanas. En caso de que las receptividades no sean booleanas,
puede hacerse un cambio como ya hemos visto.
Aunque las macroetapas pueden tratarse fcilmente con este mtodo, es aconsejable
sustituir las macroetapas por sus expansiones. Para describir el mtodo usaremos un
ejemplo, concretamente el GRAFCET global de las figuras siguientes. En este caso son dos
GRAFCETs, G0 y G1, donde G1 es jerrquicamente superior y puede forzar a G0.
Para una fcil implementacin, conviene numerar las transiciones y dar nombres a los
GRAFCETs.
Vamos a definir varios vectores de variables booleanas. Vamos a utilizar uno de estos
vectores para la situacin de actividad de cada etapa. Llamaremos X a este vector; por lo
tanto cuando la etapa 4 est activa, lo estar X[4]. Tambin usaremos otro vector para
saber si las receptividades son ciertas o no. Le llamaremos R; por tanto cuando la transicin
3 tenga cierta su receptividad, estar activo R[3].
Durante la evolucin del GRAFCET, los valores del vector X cambiarn; por tanto no
podemos utilizarlo para el control de la validacin de las transiciones. Para mantener la
informacin de las transiciones que estn validadas usaremos el vector V. Este vector se
actualizar en cada pasada y servir tambin como referencia de comparacin con el vector
X cuando determinemos si la situacin actual es estable o no.
Finalmente definiremos un vector G con una componente para cada GRAFCET conexo.
Este bit estar activado cuando el GRAFCET correspondiente est forzado. En nuestro
caso tendremos G[0] y G[1], aunque este ltimo no lo usaremos ya que corresponde
GRAFCET de mayor superioridad jerrquica.
El vector T contiene el tiempo transcurrido desde la ltima activacin de cada una de las
etapas. Los vectores I y Q contienen las entradas (I) y salidas (Q) fsicas mientras que los
vectores E y S guardan los estados de las entradas (E) y salidas (S) hasta que se acaba un
ciclo.
Las primeras lneas contienen la inicializacin del GRAFCET. Al inicializar se deben activar
todas las etapas iniciales y desactivarse las otras. Primero desactivaremos todas las etapas
(incluso las que no existen, para ir ms rpido) y, a continuacin, activamos las dos etapas
iniciales (0 y 16). Al empezar, tambin desactivamos todas las salidas.
Repetir
Para i = 1 hasta long(I) hacer
E[i] = I[i]
FinPara
La lnea siguiente copia la situacin de actividad de las etapas (vector X) sobre el vector V
para guardar la informacin mientras evoluciona el programa. La estructura Repetir
corresponde a la evolucin hasta que el resultado sea estable.
Repetir
Para i = 1 hasta long(X) hacer
V[i] = X[i]
FinPara
En este punto debemos gestionar las receptividades. Se trata de definir las condiciones
booleanas (funcin de las entradas o de los elementos internos) que describen la
receptividad.
R[0] = E[1]
R[1] = E[3]
Si la condicin es temporizada, usaremos el vector T. El contenido del parntesis podr ser
cierto (1) o falso (0) y el resultado ser el estado de la receptividad.
R[6] = V[7]
R[7] = E[1] + E[4]
R[16] = /E[7]
R[17] = E[8]
R[18] = E[9]
R[19] = E[10]
Una vez hemos implementado las receptividades, comenzamos la evolucin. La evolucin
se debe implementar GRAFCET a GRAFCET sin que el orden tenga importancia. Si un
GRAFCET est forzado no debe evolucionar; por ello, si est forzado, saltamos las lneas
de evolucin.
Si G[0] = 0 entonces
Al evolucionar hay que desactivar primero las etapas que tengan la transicin de salida
validada y la receptividad correspondiente cierta. Fijmonos que las validaciones las
miramos del vector V.
Si G[1] = 0 entonces
Si (R[16]V[16]) entonces X[16] = 0 FinSi
Si (R[17]V[17]) entonces X[17] = 0 FinSi
Si (R[18]V[18]) entonces X[18] = 0 FinSi
Si (R[19]V[19]) entonces X[19] = 0 FinSi
Si (R[19]V[19]) entonces X[16] = 1 FinSi
Si (R[16]V[16]) entonces X[17] = 1 FinSi
Si (R[17]V[17]) entonces X[18] = 1 FinSi
Si (R[18]V[18]) entonces X[19] = 1 FinSi
FinSi
Una vez finalizada la evolucin de todos los GRAFCETs, debemos tener en cuenta que en
la nueva situacin puede haber forzados que pueden cambiar la situacin actual de
actividad. En el caso de que cualquiera de las etapas que pueden forzar un GRAFCET est
activa, se debe activar el bit de forzado correspondiente.
Si (X[18]) entonces
Para i = 1 hasta 15 hacer
X[i] = 0
FinPara
FinSi
Si (X[19]) entonces
Para i = 1 hasta 15 hacer
X[i] = 0
FinPara
X[3] = 1
X[6] = 1
FinSi
Antes de realizar las acciones asociadas a las etapas debemos comprobar que la situacin
alcanzada es estable. Por este motivo comparamos los contenidos de los vectores X y V y,
si no son iguales, repetimos la evolucin.
K=0
Para i = 1 hasta long(X) hacer
Si (V[i] = X[i]) entonces K = 1 FinSi
FinPara
HastaQue K = 0
Las acciones impulsionales las realizaremos slo durante un ciclo de programa; por ello
usaremos la estructura siguiente.
S[1] = X[2] (/M)
M = X[2]
La salida 2 es de tipo mantenido.
S[3] = ((X[7]E[1])+(X[4](T[4]<3)))
Las acciones retardadas, en cambio, se ejecutan cuando el tiempo ya ha transcurrido.
S[4] = (X[5](T[5]>2))
Para finalizar el ciclo de programa, copiamos las salidas.
Este mtodo est pensado para el caso de que tengamos un nico GRAFCET conexo y
que, por tanto, no haya forzados. En el caso de que haya macroetapas, se supone que se
han integrado dentro del propio GRAFCET y que, consecuentemente, se puede considerar
que no hay. Para que se pueda aplicar el mtodo, todas las receptividades habrn de ser
booleanas. En caso de que las receptividades no sean booleanas, puede hacerse un
cambio como ya hemos visto.
En el caso de que haya receptividades condicionadas por tiempo, slo lo sern por el
tiempo de activacin de la etapa precedente y si hay acciones condicionadas por tiempo,
slo lo sern por el tiempo de activacin de la propia etapa. No habr acciones
impulsionales.
No debe haber etapas de duracin nula o, dicho de otra manera, todas las situaciones
debern ser estables. Es pues conveniente que el diseador haga el GRAFCET de tal
forma que la receptividad de salida de una etapa no pueda ser cierta antes de su
activacin, ya sea no permitiendo la activacin de la etapa en esta circunstancia o bien
saltando la etapa si se da el caso. En caso de que, por error, una etapa haya de tener
duracin nula, el programa activar la etapa (y sus acciones asociadas) durante un ciclo.
I4 Detector de paso
Vamos a definir varios vectores de variables booleanas. Vamos a utilizar uno de estos
vectores para la situacin de actividad de cada etapa. Llamaremos X a este vector; por lo
tanto cuando la etapa 4 est activa, lo estar X[4].
Tambin usaremos otro vector para saber si las receptividades son ciertas o no. Le
llamaremos R; por tanto cuando la transicin 3 tenga cierta su receptividad, estar activo
R[3]. De forma parecida, el vector V tendr sus componentes activas cuando las
transiciones que les correspondan estn validadas.
El vector T contiene el tiempo transcurrido desde la ltima activacin de cada una de las
etapas. Los vectores I y Q contienen las entradas (I) y salidas (Q) fsicas mientras que los
vectores E y S guardan los estados de las entradas (E) y salidas (S) hasta que se acaba un
ciclo.
Las primeras lneas contienen la inicializacin del GRAFCET. Al inicializar hay que activar
todas las etapas iniciales y desactivar las otras. Tambin desactivamos todas las salidas.
Repetir
Para i = 1 hasta long(I) hacer
E[i] = I[i]
FinPara
Seguidamente programamos las desactivaciones de etapas. Cuando una transicin es
vlida y la receptividad correspondiente es cierta se deben desactivar todas las etapas
precedentes.
R[0] = E[1]
R[1] = E[2]
R[2] = (T[2] > 20)
R[3] = E[3](/(E[1]+E[4]))
R[4] = E[1]+E[4]
R[5] = (T[4] > 0.5)
Ahora vamos a validar las transiciones. Una transicin es vlida cuando todas las etapas
inmediatamente anteriores son activas.
V[0] = X[0]
V[1] = X[1]
V[2] = X[2]
V[3] = X[3]
V[4] = X[3]
V[5] = X[4]
Despus programaremos las acciones asociadas a las etapas.
S[1] = X[1]
S[2] = X[3]
S[3] = X[1]+X[3]
Para finalizar el ciclo de programa, copiamos las salidas.