CPR84
Semana 06: Modelado de Sistemas de Eventos Discretos
con Redes de Petri
Jhon Alexander Isaza Hurtado
jhonisaza@itm.edu.co Oficina Bloque E-3er piso
Carpeta: CPR84
Asesorías: Lunes 4-6 pm y Miércoles 10-12 pm
En los DES Las transiciones de estado
disparan por ocurrencias de eventos
asíncronas y a veces simultáneas.
Redes de Petri
• Una Red de Petri (RdeP) es una
herramienta gráfica y matemática
que provee una metodología de
diseño unificado para la
especificación de sistemas de
eventos discretos (Cassandras y
Lafortune, 2008)*.
• Divergencia OR
• Divergencia AND
Convergencia OR
• Se presenta cuando un lugar se activa ante el disparo de
cualquiera entre varias transiciones (o) de entrada, las cuales
tienen un único lugar de entrada que garantiza la sensibilidad.
• El lugar M0.7 se activa entonces ante el disparo de I0.2 ó I0.3
Convergencia AND
• Se presenta cuando un lugar se activa ante el disparo de una
transición de entrada la cual, a su vez, tiene varios lugares de
entrada, los cuales deben estar activos simultáneamente (y).
• El lugar M1.2 se activa entonces ante el disparo de I0.4 y el
cumplimiento simultáneo de M1.0 y M1.1
Divergencia OR
• Se presenta cuando un lugar está marcado y se debe
elegir entre 2 posibles transiciones (o) para el disparo.
• El lugar M1.3 envía su marca a través de I0.5 ó I0.6
Divergencia AND
• Se presenta cuando un lugar está marcado y, ante el
disparo de una transición (y), la marca evoluciona a varios
estados.
• El lugar M1.6 envía su marca hacia M1.7 y M2.0
Ejemplo 1: Control de nivel y
temperatura en un tanque
LV
M
LSH
TS
LV
LSL
TY
LV
M
LSH
Ejemplo 1:
Funcionamiento
TS
LV
LSL
TY
FUNCIONAMIENTO
• Condiciones iníciales = todos los actuadores apagados. (Marcaje Inicial)
• Si se presiona el pulsador de inicio, se debe verificar nivel por debajo del sensor de nivel bajo
y temperatura por debajo del valor deseado. Si esto se cumple, se inicia el llenado y el
mezclado.
• Durante el llenado, se verifica que el nivel esté por debajo del nivel máximo; cuando se llegue
a este nivel, el llenado debe finalizar.
• Una vez verificado el nivel máximo, se debe verificar temperatura. Si la temperatura está en el
valor deseado, se salta al proceso de vaciado; de lo contrario, se inicia el proceso de
calentamiento.
• En el proceso de calentamiento, se verifica constantemente la temperatura; una vez se
obtenga el valor deseado, se termina el calentamiento y se inicia el vaciado.
• Una vez se detecta el vacío completo, se vuelve a las condiciones iniciales, apagando todos
los actuadores.
DIRECCIÓN TIPO DESCRIPCIÓN
M0.1 Estado Reposo
Ejemplo 1: M0.2
M0.3
Estado
Estado
Llenado
Calentamiento
Tabla de variables M0.4 Estado Vaciado
M0.5 Estado Mezclado
• Cada estado se representa
Transición
por una marca, en la red se I0.1 Sensor de nivel mínimo (NA)
tienen 5 estados, I0.2 Transición Sensor de nivel máximo (NA)
ocupando las memorias I0.3 Transición Sensor de temperatura (NA)
M0.1 a M0.5 del AP. Transición
I0.4 Pulsador de inicio (NA)
• Cada transición representa Salida
Q0.1 Válvula de llenado (NC)
la evolución de una marca
Salida
de un estado al otro. Q0.2 Válvula de vaciado (NC)
I0.3
segmentos.
M0.4 – Cinco (5) segmentos para realizar
(0,1,-,0) cada una de las transiciones
– Cinco (5) segmentos para las
acciones de cada estado
• Pasos:
___
I0.1
Ejemplo 1: Conversión de la RdeP
a código AP
PASO 1
M0.1
• Programar el bloque
OB100 para el marcaje
inicial.
• Recordar que este bloque
se ejecuta solo cuando el
AP se pone en RUN. En
este caso.
Ejemplo 1: Conversión de la RdeP
a código AP
M0.1
PASO 2 (0,0,0,0)
a código AP
(0,0,0,0)
___ ___
I0.4*I0.1*I0.3
• Evolución de la marca de
M0.1.
• Según la red, al dispararse
la transición de salida de
M0.1 se activan los estados
M0.2 y M0.5.
• Se aplica SET a los estados
M0.2 y M0.5 y se aplica
RESET a M0.1 (lugar de
origen del marcaje)
Ejemplo 1: Conversión de la RdeP
M0.1
a código AP
(0,0,0,0)
___ ___
I0.4*I0.1*I0.3
• PASO 4 M0.5
Q0.3=1
M0.2 Q0.1=1
• La evolución del
___
I0.2*I0.3
de M0.3 a M0.4 a
través de la transición I0.3
I0.3.
• Las acciones de M0.4
son aplicar la RESET
a Q0.1 y Q0.4 y SET a
M0.2
Ejemplo 1: Conversión de la RdeP
a código AP
• PASO 7
• El estado M0.2 M0.2 Q0.1=1
también tiene la
opción de evolucionar
al estado M0.4 sin
pasar por M0.3.
I0.2*I0.3
• PASO 8
• La evolución de
marcaje de M0.4 a M0.5
Q0.3=1
M0.1 se debe realizar
en conjunto con el
estado M0.5
• Ambos son
condiciones de la
transición. M0.4
evolución a M0.1 se
deben evaluar ambos ___
___
I0.2*I0.3
• Con estos 10 segmentos
M0.3
Q0.1=0
se completa la
I0.2*I0.3
Q0.4=1
programación de la RdeP.
I0.3
M0.4
(0,1,-,0)
___
I0.1
Ejercicios propuestos
1. A través de un pulsador llamado “Pulsador1” se encenderán 2
pilotos simultáneamente. A través de un Pulsador2, se apagará
el Piloto1 y a través de un Pulsador3 se apagará el Piloto2, con
lo cual el sistema volverá a condiciones iniciales con ambos
pilotos apagados. El proceso debe ser cíclico. Obtenga la RdeP
que modela al sistema y la codificación en lenguaje Ladder.
2. Para la apertura de una puerta de seguridad, se requiere la
activación de 3 señales en un orden específico. Cada señal se
activa a través de un pulsador. Haga la RdeP para que el
sistema pueda abrirse únicamente en el caso que los 3
pulsadores se activen en la secuencia correcta. En caso de
equivocación el sistema se inicializa. Luego de abrir la puerta,
para inicializar el sistema basta con presionar cualquier señal.
Realizar la codificación en lenguaje Ladder.
Próximas Sesiones
• Semana 8: 24 de Marzo - Practica 3 (15 %):
Ejercicio con señales digitales con RdeP,
Simulación y Conexión del AP
• Semana 9: 31 de Marzo - Evaluación 1 (15 %):
Presentación de avance de proyecto - Exposición y
Artículo
PREGUNTAS Y COMENTARIOS