Re Desde Petri

Automatizacin Industrial.
REDES DE PETRI 1
3.- REDES DE PETRI 3.1.-DEFINICIN Y CONCEPTOS. 3.2.-REGLAS DE EVOLUCIN DE MARCADO. 3.3.-ESTRUCTURAS BSICAS 3.4.-REDES DE PETRI FRENTE A GRAFOS DE ESTADO 3.5.-PROPIEDADES Y VALIDACIN. 3.1.- DEFINICIN Y CONCEPTOS Una red de Petri es un grafo orientado con dos tipos de nodos: lugares (representados mediante circunferencias) y transiciones (representadas por segmentos rectos verticales). Los lugares y las transiciones se unen mediante arcos o flechas.
Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica
Universidad de Huelva
REDES DE PETRI 2
marca
Lugar
Transicin
Lugar
Transicin
Un arco une siempre lugares con transiciones y nunca dos lugares o dos transiciones. Una transicin puede ser destino de varios lugares y un lugar puede ser el destino de varias transiciones. Una transicin puede ser origen de varios lugares y un lugar puede ser origen de varias transiciones. Los lugares pueden presentar marcas (una marca se representa mediante un punto en el interior del crculo).
Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica Universidad de Huelva
REDES DE PETRI 3
Cada lugar tiene asociada una accin o salida. Los lugares que contiene marcas se consideran lugares activos. Cuando un lugar est activo sus salidas estn a uno. A las transiciones se les asocia eventos (funciones lgicas de las variables de entrada). Una transicin se dice que est sensibilizada cuando todos su lugares origen estn marcados. Cuando ocurre un evento asociado a una transicin (la funcin lgica se hace uno), se dice que la transicin est validada.
A p1 B
p3
Salida A=1 Salida B=0
p1
p1
p2
p2
p4
p2
Transicin sensibilizada
p5=1
Transicin validada
LUGAR ACTIVO
TRANSICIN SENSIBILIZADA
TRANSICIN VALIDADA
REDES DE PETRI 4
3.2.- REGLAS DE EVOLUCIN DE MARCADO. El marcado cambia al franquear las transiciones. Para franquear una transicin ha de estar validada y sensibilizada Cuando una transicin se franquea desaparecen las marcas de los lugares origen y se aade una marca a cada uno de los lugares destino.
a =1
C
a b =1
C
FRANQUEO
a
FRANQUEO
a
a b
C D E
Expresiones Booleanas
ab
ab
ab
C=1
D=1; E=1
C=1
REDES DE PETRI 5
Un lugar puede tener ms de una marca, ejemplo:
t1
t1=1
t1
t1=1
t1
t2=1
t1
t2
t2
t2
t2
Cuando dos transiciones que estn sensibilizadas a la vez, pueden entrar en conflicto, ejemplo:
t1
t2
Para que la red sea vlida las condiciones de validacin t1 y t2 no pueden darse a la vez.
REDES DE PETRI 6
3.3.- ESTRUCTURAS BSICAS

SELECCIN ATRIBUCIN
SELECCIONA EL PROCESO A EJECUTAR

DISTRIBUCIN
EJECUCIN INDEPENDIENTE DE UN PROCESO POR DOS PROCESOS DISTINTOS

CONJUNCIN
EJECUCIN DE PROCESOS PARALELOS O CONCURRETES
SINCRONIZACIN DE PROCESOS EN PARALELO
REDES DE PETRI 7
3.4.- REDES DE PETRI FRENTE A GRAFOS DE ESTADO Problema: Se pretende que el coche vaya de a hacia b y vuelva. Existe un botn de puerta en marcha. En el inicio el coche est en a
I D m
Entradas: m: puesta en marcha. a : sensor llegada a izquierda. b : sensor llegada a derecha. Salidas: I : indica desplazamiento a izquierda. D : indica desplazamiento a derecha.
REDES DE PETRI 8
Comparacin de la solucin obtenida con la red de Petri y la obtenida con el grafo de transicin de estados.
RdP Grafo Estados
0 m m D b I 2 I a a 1 D b
En este caso las representaciones son iguales pero en problemas ms complejos la RdP se aproxima ms al problema y trata mejor la ejecucin de tareas concurrentes.
REDES DE PETRI 9
Problema: Se pretende que los dos carritos de la figura, que en principio estn en el lado izquierdo, vayan al extremo derecho. El primero que llegue esperar al otro (sincronizacin). Despus vuelven al lado izquierdo donde el sistema se quedar en reposo cuando lleguen los dos carritos (sincronizacin). Existen un botn de marcha m y dos sensores de llegada en cada lado a1 y a2 en el lado derecho y b1 y b2 en el lado izquierdo.
I1 D1
a1 I2 D2
b1
a2
b2
Las seales de entrada son m, a1, a2, b1 y b2 las salidas son I1, I2, B1, B2s
Grafo Estados
REDES DE PETRI 10
RdP
0
m D1 b1 D2 b2 (*)
b1 b2 b2 b1
m 1
D1 D2 b1 b2 D2 b2 b 1
2
a2
3
D1 b1 b2 I1 I2 a1
4
a2 a1
b1 b2 I1 a1 I2 a2 (*) a1 a2
a2 a1
5
I2 a1 a2
6
I1
(*) Estados de Espera. Cuando el marcado se traslada a estos lugares a la vez, las dos carritos estn listos para ponerse en marcha.
REDES DE PETRI 11
VENTAJAS REDES DE PETRI : 1) Tratamiento individual de procesos independientes. 2) Procesos paralelos o concurrentes. 3) Recursos compartidos. RECURSOS COMPARTIDOS Las RdP permiten modelar sistemas donde un recurso es compartido por dos procesos de forma que el uso del recurso durante la ejecucin de un proceso impide que dicho recurso sea utilizado por el otro proceso.
Recurso Compartido Transiciones en conflicto t1 Proceso 1 t2 Proceso 2
Un recurso compartido se modela mediante un lugar con una marca inicial y transiciones en conflicto
REDES DE PETRI 12
Ejemplo Recurso Compartido:

Ma Mb Ca Ib Cb Ia Da Ga Ea Db Eb
MaCa Da Ea Db Eb MbCb
Gb
Ea Eb Da,Ga D T T=fin Ia, Ga Ea Ia Ca Ib Cb T T=fin Ib, Gb Eb Db,Gb D
Eb
REDES DE PETRI 13
3.5.- PROPIEDADES Y VALIDACIN. La validacin consiste en comprobar que se cumplen las propiedades de:
- VIVACIDAD; LIMITACIN; REVERSIBILIDAD
Hay que considerar : M0 : marcado inicial. De este se desprende el comportamiento del sistema. [M0] : vector de marcados posibles a partir de un marcado inicial. (marcados alcanzables). Ejemplo:
L1 L1 L2 1 0 0 1 L3 0 1 = [ M0 ]
MARCADOS POSIBLES
L2
L3
REDES DE PETRI 14
VIVACIDAD : Se trata de un concepto relacionado con la idea de no bloqueo. Definicin : Una transicin se dice viva si para un marcado inicial existe una secuencia de franqueos para la cual se puede franquear esa transicin. Si todas las transiciones de una red son vivas, la RdP se llama viva y as la red nunca se bloquea. Ejemplo: Una red de Petri no viva.
T1 T2 T3 T4
Para la secuencia de franqueos T1, T2, T1, T2, no hay bloqueo. Si ahora se franquean las transiciones T1, T3, T4, ya no se puede franquear ninguna transicin ms, la red queda bloqueada.
REDES DE PETRI 15
Podemos tener redes pseudo-vivas en las que existen algunas transiciones vivas y no se bloquea totalmente. Ejemplo: RdP Pseudoviva.
T1
Slo franqueamos T 1 al comienzo, despus no se vuelve a franquear.

T2 T3
T4
REDES DE PETRI 16
LIMITACIN: Definicin : Se dice que la red est k- limitada si para todo marcado alcanzable tenemos que ningn lugar tiene un nmero de marcas mayor que k. Las redes 1-limitadas pueden implementarse mediante biestables, estas redes son conocidas como binarias. Si la red diseada generar ms marcas que las que su limitacin permite el modelado ser erroneo Ejemplo: Una red no limitada:
FIN DE PROCESO PROCESO DE PRODUCCIN
Equivalente al problema productor-consumidor
INICIO CONSUMO
PROCESO DE CONSUMO
FIN CONSUMO
REDES DE PETRI 17
Reversibilidad : Definicin : Una RdP es reversible si para alcanzable es posible volver al marcado inicial. Ejemplo:
cualquier marcado
Esta RdP es pseudoviva, adems no tiene la propiedad de reversibilidad ya que el marcado inicial no se puede obtener jams .
REDES DE PETRI 18

Re Desde Petri

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Re Desde Petri

Cargado por

Copyright:

Formatos disponibles

Automatizacin Industrial.

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Salida A=1 Salida B=0

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Un lugar puede tener ms de una marca, ejemplo:

3.3.- ESTRUCTURAS BSICAS

SELECCIONA EL PROCESO A EJECUTAR

EJECUCIN INDEPENDIENTE DE UN PROCESO POR DOS PROCESOS DISTINTOS

EJECUCIN DE PROCESOS PARALELOS O CONCURRETES

SINCRONIZACIN DE PROCESOS EN PARALELO

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Ejemplo Recurso Compartido:

Ea Eb Da,Ga D T T=fin Ia, Ga Ea Ia Ca Ib Cb T T=fin Ib, Gb Eb Db,Gb D

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Slo franqueamos T 1 al comienzo, despus no se vuelve a franquear.

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Equivalente al problema productor-consumidor

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

Dpto. de Ingenieria Electrnica, de Sistemas Informticos y Automtica

También podría gustarte