Definicion redes petri

REDES DE PETRI: DEFINICIÓN,
FORMALIZACIÓN Y EJECUCIÓN
PROGRAMACIÓN CONCURRENTE
MASTER EN COMPUTACIÓN
DEPARTAMENTO DE ELECTRÓNICA Y COMPUTADORES
UNIVERSIDAD DE CANTABRIA
CURSO 2008/9
Programación Concurrente:
Redes de Petri

Mercedes Granda
Departamento de Electrónica y Computadores

1

1

REDES DE PETRI
• Las redes de Petri (RdP) (C.A. Petri, 1962) son una
herramienta demodelado muy efectiva para la
representación y el análisis de procesos concurrentes.
• Modelar un sistema usando redes de Petri tienen tres
ventajas potenciales:
1) El sistema completo es a menudo más fácil de entender debido a la
naturaleza gráfica y precisa del esquema de representación.
2) El comportamiento del sistema puede ser analizado utilizando la teoría
de las redes de Petri, queincluye herramientas para el análisis tales
como los árboles de marcados y establece relaciones entre ciertas
estructuras de redes y el comportamiento dinámico. Pueden aplicarse
también técnicas para la verificación de programas paralelos.
3) Puesto que las redes de Petri pueden sintetizarse usando técnicas
"bottom-up" y "top-down", es posible diseñar automáticamente sistemas
cuyo comportamientoes conocido o fácilmente verificable.
Programación Concurrente:
Redes de Petri

Mercedes Granda
Departamento de Electrónica y Computadores

2

2

REDES DE PETRI
• Su éxito se debe básicamente a la simplicidad de su
mecanismo básico, si bien, la representación de grandes
sistemas es costosa.
• Para facilitar su uso en diferentes campos de aplicación,
el modelo original se haextendido en dos aspectos:
1) Introducción de modificaciones estructurales para
incrementar la potencia o la comodidad de modelado
o para facilitar la solución de los problemas de
análisis.
2) Definición de redes de Petri temporizadas que se
pueden utilizar para analizar cuantitativamente las
prestaciones del sistema modelado.
Programación Concurrente:
Redes de Petri

Mercedes GrandaDepartamento de Electrónica y Computadores

3

3

REDES DE PETRI:
DEFINICIONES BÁSICAS
Las redes de Petri son un grafo orientado formado por:
• Plazas o lugares, representadas mediante circunferencias.
• Transiciones, representadas por segmentos rectilíneos.
• Arcos dirigidos que unen transiciones y plazas.

Programación Concurrente:
Redes de Petri

Mercedes Granda
Departamento deElectrónica y Computadores

4

4

REDES DE PETRI:
DEFINICIONES BÁSICAS
• Una plaza p es entrada de una transición t si existe un
arco desde p a t.
• Una plaza p es salida de una transición t si existe un arco
desde t a p.

Programación Concurrente:
Redes de Petri

Mercedes Granda
Departamento de Electrónica y Computadores

5

5

REDES DE PETRI:
MARCADO
•

Una plaza puedecontener un número positivo o nulo de testigos o
marcas, que se representan por un punto en el interior del círculo
que representa una plaza.

•

El marcado de una red de Petri es el conjunto de testigos asociados
con cada una de las plazas en un instante dado. Define el estado de
la red de Petri.

Programación Concurrente:
Redes de Petri

Mercedes Granda
Departamento de Electrónica yComputadores

6

6

REDES DE PETRI Y
PROGRAMACIÓN CONCURRENTE
• Transiciones: representan los procesos del
programa.
• Plazas: representan las condiciones
necesarias para que un proceso se ejecute.
• Arcos dirigidos: relacionan condiciones y
procesos.
• Testigos: si están presentes en una plaza,
indican que se verifica la condición que
representa esa plaza.
ProgramaciónConcurrente:
Redes de Petri

Mercedes Granda
Departamento de Electrónica y Computadores

7

7

REDES DE PETRI: DISPARO
• Una transición está sensibilizada o
habilitada si todos las plazas de entrada
están marcadas.
• Una transición habilitada se puede
disparar.
• El disparo de una transición habilitada
consiste en quitar un testigo de cada plaza
de entrada y añadir un testigo a cada uno...