AGENDA

1. Definición
2. Conceptos
3. Reglas de Evolución de Marcado
4. Estructuras básicas
5. Ventajas
6. Desventajas
7. Aplicaciones
8. Propiedades

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 1. Definición
Las redes de Petri son representaciones graficas que
permiten modelar sistemas con flujo de información,
mostrando la información importante sobre su estructura y
comportamiento dinámico. Pueden considerarse como
generadores de lenguaje o autómatas formales asociados a la
teoría de grafos.
Por sus características, son de gran utilidad para el diseño,
especificación y simulación de sistemas de hardware o
software; permiten representar procesos concurrentes y
modelamiento matemático del sistema.
UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 2. Conceptos
 Un arco une siempre lugares con transiciones y nunca dos lugares o dos
transiciones.
 Una transición puede ser destino de varios lugares y un lugar puede ser el
destino de varias transiciones.
 Una transición puede ser origen de varios lugares y un lugar puede ser
origen de varias transiciones.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 2. Conceptos

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 2. Conceptos
 Cada lugar tiene asociada una acción o salida.
 Los lugares que contiene marcas se consideran lugares activos.
 Cuando un lugar está activo sus salidas están a uno.
 A las transiciones se les asocia eventos (funciones lógicas de las variables de
entrada).
 Una transición se dice que está sensibilizada cuando todos su lugares origen
están marcados.
 Cuando ocurre un evento asociado a una transición (la función lógica se hace
uno), se dice que la transición está validada.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 2. Conceptos

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 3. Reglas de Evolución de Marcado
 El marcado cambia al franquear las transiciones.
 Para franquear una transición ha de estar validada y sensibilizada
 Cuando una transición se franquea desaparecen las marcas de los lugares
origen y se añade una marca a cada uno de los lugares destino.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 3. Reglas de Evolución de Marcado
 Un lugar puede tener más de una marca, ejemplo:

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 3. Reglas de Evolución de Marcado
 Cuando dos transiciones que están sensibilizadas a la vez, pueden entrar en
conflicto, ejemplo:

 Para que la red sea válida las condiciones de validación t1 y t2 no pueden

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 4. Estructura Básica
Las redes de Petri tienen dos tipos de nodos: lugares (representados mediante
circunferencias) y transiciones (representados por segmentos rectos verticales).
Contienen arcos o flechas y marcas o Tokens que se ubican en las plazas o
lugares de la red y definen su ejecución.
Los componentes se pueden relacionar de múltiples formas, tanto los lugares
como las transiciones pueden ser origen y destino de varias transiciones o
lugares.
Cada lugar tiene asociada una acción o salida y los que contienen marcas se
consideran lugares activos. Por otra parte, cuando todos los lugares de una
transición están marcados, dicha transición se considera sensibilizada.
UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 4. Estructura Básica

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 5. Ventajas
 Facilidad de interpretación del sistema pues el esquema es gráfico e
ilustrativo.
 Permiten tratar procesos independientes de forma individual.
 Proporcionan un modelamiento más exacto que los diagramas de estados
para problemas complejos.
 Permiten modelar sistemas donde un recurso es compartido por dos
procesos diferentes.
 Se pueden sintetizar de forma bottom-up o top-down.
 Permiten modelar procesos concurrentes.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 6. Desventajas
 Las redes de Petri generales no pueden modelar ciertas situaciones de
prioridad.
 Pueden presentarse problemas de análisis de acuerdo a la complejidad del
sistema modelado.
 Para un mayor alcance en el modelamiento, el tiempo y el consumo de
espacio aumentan considerablemente.
 Existen muchas subclases del modelo general de redes de Petri generadas
para diferentes problemas específicos.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 7. Aplicaciones
 Modelamiento de sistemas o aplicaciones que se ejecutan en tiempo real.
 Sistemas operativos y compiladores.
 Hardware y Software de computadores
 Redes de libre elección, que permiten modelar ambientes industriales de
producción.
 Diagramas de Flujo de Datos (DFD)
 Protocolos de Comunicación
 Bases de Datos.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8. Propiedades
 Vivacidad
 Ciclicidad
 Limitación
 Conservación
 Conflictividad
 Exclusión mutua

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.1. Vivacidad
 La propiedad de vivacidad es
muy importante porque sirve
para caracterizar el bloqueo
total o parcial de un sistema.
 Una RdP marcada es viva si cada
una de sus transiciones son
vivas.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.2. Ciclicidad
Una RdP para un marcado inicial
M0 se dice que posee un
comportamiento globalmente
cíclico, si existe una secuencia de
disparos que permite alcanzar el
marcado inicial M0 a partir de
cualquier marcado Mi sucesor de
M0.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.3. Limitación
El interés de la limitación de
una red es que garantiza la
finitud de sus marcados
alcanzables. Desde un punto
de vista práctico, una red k-
limitada puede implementarse
con un conjunto de recursos
finitos.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.4. Conservación
El concepto de conservación está relacionado
con el número de recursos disponibles, que no
puede variar durante la ejecución de la red de
Petri. La manera más simple de conseguirlo es
requerir que el número total de testigos en la
red permanezca constante. Sin embargo, la
conservación estricta es una relación muy
fuerte y normalmente conviene hablar de
conservación con respecto a un vector peso.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.5. Conflictiva
Se dice que en una RdP existe un conflicto
estructural cuando un lugar posee más de una
transición de salida.
Se dice que dos transiciones ti y tj están en
conflicto efectivo para M0 si:
Existe un marcado alcanzable desde M0 que
sensibiliza simultáneamente a ti y tj.
Si al dispararse ti (tj) el marcado que se obtiene
no habilita a tj (ti).

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 8.6. Exclusión Mutua
Un conjunto de transiciones Te ⊂ T se dice que son mutuamente exclusivas si
el disparo de cualquier transición ti ⊂ Te genera un marcado en el cual todas
las demás transiciones tj ⊂ Te, i ⊂ j, se deshabilitan.
Se dice que dos plazas de una red de Petri están en exclusión mutua para un
marcado M0 si no pueden estar marcadas simultáneamente en los marcados
alcanzables a partir de M0.

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 Casos

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 Casos

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 Casos

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO
 FIN

UNT – SEDE CENTRAL FECHA: 28/08/2019 MG. ING. QUISPE VARON CELESTINO MEDARDO