SISTEMAS LGICOS

Clase 8 : Sistemas secuenciales complejos

Limitaciones del Grafo de estados

Estado
1
2
3
4
5
6
7
8
9

Clase 8

Descripcin
Ambos tanques estn vacos
Ambos tanques llenndose
El tanque 1 se llen antes que el tanque 2
El tanque 2 se llen antes que el tanque 1
Ambos tanques vacindose
El tanque 1 se vaci pero el tanque 2 an no se llen
El tanque 2 se vaci pero el tanque 1 an no se llen
Estando vaco el tanque 1 se est vaciando el tanque 2
Estando vaco el tanque 2 se est vaciando el tanque 1

Pgina1

SISTEMAS LGICOS

SITUACIN

V1

V2

V3

W1

W2

W3

Eq.

Partiendo del estado 2 se puede seguir la siguiente secuencia:

Partiendo del estado 3 se puede seguir la siguiente secuencia:

Partiendo del estado 13 se puede seguir la siguiente secuencia:

Nota: Eq. es una columna de verificacin: contiene el equivalente decimal de las combinaciones V1-V2-3-W1W2-W3, y se la usa para evitar combinaciones repetidas.

Clase 8

Pgina2

SISTEMAS LGICOS

Redes de Petri (PN)

Las redes de Petri (PN) en su versin digital son utilizadas para la representacin de automatismos a un nivel
funcional y tecnolgico. Permiten una descripcin jerarquizada del automatismo, pues a partir de un grafo
de descripcin funcional se puede obtener, precisndolo progresivamente a uno de descripcin tecnolgica.

Etapa (lugar)
Arco orientado

Transicin
Etapa a activa o marcada

Etapa inactiva

Reglas de evolucin
1. Una etapa inicialmente marcada se representa con un doble crculo.
2. Una transicin puede estar validada o no. Est validada cuando todas las etapas inmediatamente precedentes a la misma estn activas. Dicha transicin se franquea cuando est validada y la condicin lgica asociada es cierta (receptividad)
3. El franqueo de una transicin ocasiona la activacin de todas las etapas inmediatamente siguientes y la
desactivacin de todas las etapas inmediatamente precedentes a la misma.
4. Varias transiciones simultneamente franqueables se franquean simultneamente.
5. Cuando una misma etapa debe desactivarse y activarse simultneamente, permanece activa.

Etapa inicialmente marcada

Clase 8

Transicin no validada

Transicin validada

Pgina3

SISTEMAS LGICOS

Antes del franqueo

Despus del franqueo

Una etapa activa representa un estado (subestado) del proceso cuyo funcionamiento se pretende modelar, asociada a las mismas pueden encontrarse salidas activas. El conjunto de marcas define el estado del
proceso a modelar (marcacin)
Asociada a las transiciones estn las condiciones bajo las cuales el modelo pasa de uno a otro estado,
generalmente condiciones vinculadas a las entradas u el valor activo o inactivo de otras etapas. La condicin
lgica asociada a la transicin se denomina receptividad

Clase 8

Pgina4

SISTEMAS LGICOS

Procesos de evolucin en paralelo

Modelizacin por Red de Ptri

Clase 8

Pgina5

SISTEMAS LGICOS
Procesos con recursos compartidos

Los problemas 1a y 1b ponen en evidencia la potencia de las PN para el modelado de sistemas con concurrencia y/ uso de recursos compartidos. En los siguientes problemas veremos que tambin su uso es conveniente para modelar secuencias simples, convergencias y divergencias AND y OR, y saltos.

Clase 8

Pgina6

SISTEMAS LGICOS
Otras estructuras (Faltan dibujos)

Secuencias simples
Divergencia OR: para seleccionar una de dos o mas secuencias
Convergencia OR: para que confluyan una o mas secuencias
Divergencia AND: para iniciar varios caminos simultneamente
Convergencia AND: para sincronizar la evolucin de varios secuencias que confluyen en
otra u otras
Salto hacia delante: para romper una secuencia
Salto hacia atrs: par romper una secuencia
Temporizacin
Cuenta
Acciones asociadas a las salidas
Incondicionales
Condicionales

Clase 8

Pgina7

SISTEMAS LGICOS
Ejemplos

Clase 8

Pgina8

SISTEMAS LGICOS

Clase 8

Pgina9

SISTEMAS LGICOS

Clase 8

Pgina10

SISTEMAS LGICOS

Temporizadores y Contadores
Recordemos que la Red de Ptri es una herramienta de representacin: para la implementacin de la solucin sobre un soporte fsico (tal como un PLC) tendremos que particularizar la PN de acuerdo con los recursos que brinde dicho soporte.
Por ejemplo: si usamos un PLC para implementar el automatismo descripto por la PN del dibujo anterior,
deberemos utilizar sus bloques funcionales, entre ellos los denominados temporizador y contador: estos
bloques deben configurarse. Por ejemplo, para un PLC de la marca Modicon - modelo TSX37: los contadores
se identifican como %Ci (siendo i un nmero) y los temporizadores como %Ti; en ambos se debe predeterminar un valor de cuenta (p.ej. %C1.P = valor). En una PN las variables no se definen utilizando la misma sintaxis empleada para editar el programa que correr en el PLC: cada fabricante define la forma de identificar
las variables involucradas en estas funciones. La siguiente tabla muestra la identificacin de las mismas para
el PLC de la marca Modicon modelo TSX 37.
Variables
Valor actual
Valor preseleccionado
Valor preseleccionado
alcanzado
Desborde en cuenta
ascendente
Desborde en cuenta
descendente

Clase 8

Funcin:
Identificacin
Identificacin
Tipo
Identificacin
Tipo
Identificacin

Contador
%Ci (i= 0 a 31)
%Ci.V
Palabra de 16 bits
%Ci.P
Palabra de 16 bits (0 a 9999)
%Ci.D

Tipo

Bit (=1 cuando %Ci.V=%Ci.P)

Identificacin

%Ci.F
Bit (=1 cuando %Ci.V pasa de
9999 a 0000)
%Ci.E
Bit (=1 cuando %Ci.V pasa de
0000 a 9999)

Tipo
Identificacin
Tipo

Temporizador
%TMi (i=0 a 63)
%TMi.V
Palabra de 16 bits
%TMi.P
Palabra de 16 bits (0 a 9999)
%TMi.Q
Bit (=1 dependiendo del tipo
del temporizador)

Pgina11

SISTEMAS LGICOS
Problema 6
Utilizando el modelo PN, explicar el funcionamiento de la siguiente mquina, usada para el llenado, pesaje y
desplazamiento de cajas. Provenientes de una fuente no mostrada en el esquema, las cajas ingresan en el
sector de llenado y pesaje, donde son detectadas por el sensor a, y se retiran manualmente de la posicin
indicada por d, no necesariamente en el mismo momento en que llegan a la misma. Se garantiza que no ingresar una nueva caja si ya existe una cargndose.
La caja se carga con objetos transportados por la cinta #1. La balanza activar una seal P cuando la caja se
llene con un peso prefijado. Mientras se est efectuando el llenado, cuando la balanza se descarga, P = 0.
Se pide concretamente:
a) Analizar el comportamiento general de la mquina.
b) Analizar especficamente si las siguientes situaciones son o no posibles, indicando qu lugares estn involucrados en cada caso:
b.1)

Es posible la presencia de una caja en d mientras otra caja se desplaza desde b hacia c ?

b.2)

Es posible que se est llenando una caja en a, mientras otra caja se desplaza desde b hacia c ?

b.3)

Es posible la presencia de una caja en d mientras el mbolo E1 retorna hacia e1 ?

b.4)

Es posible la presencia de una caja en d mientras el mbolo E1 retorna hacia e1 y la cinta #2

desplaza una caja hacia b ?

b.5)

Es posible que el mbolo E1 desplace una caja hacia c mientras la cinta #1 carga una caja en a ?

b.6)

Es posible que se est llenando una caja en a en el mismo momento en que hay otra caja en b y
otra ms en d ?

Clase 8

Pgina12

SISTEMAS LGICOS
Solucin 1

Clase 8

Pgina13

SISTEMAS LGICOS
Solucin 2

Clase 8

Pgina14