Redes de Petri

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca
REDES DE PETRI
POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Av. Tecnolgico s/n, Ex-rancho la Virgen, Metepec, Mxico, C. P. 52140 A. P. 890
email: sdiaz@ittoluca.edu.mx
Definicin
Una Red de Petri es un modelo

grfico, formal y abstracto para
describir y analizar el flujo de
informacin.
El anlisis de las Redes de Petri

ayuda a mostrar informacin
importante sobre la estructura y
el comporta-miento dinmico de
los sistemas modelados.

Definicin
La teora de las Redes de

Petri
permite
la
representacin
matemtica del sistema a ser
modelado.
Las Redes de Petri son de
utilidad en el diseo de
sistemas de hardware y
software,
para
especificacin,
simulacin y diseo de
diversos problemas de
ingeniera.
Historia
Las Redes de Petri surgen en

1962 con el trabajo doctoral de
Carl Adam Petri (Matemtico y
Cientfico Informtico, Alemn)
"Kommunikation
mit
Automaten (Comunicacin con
autmatas), en Alemania.
En su disertacin doctoral Petri
formul la base para una teora
de
comunicacin
entre
componentes asncro-nos de un
sistema de cmputo.
Historia
Las ideas de Petri atrajeron la atencin de

un grupo de investigadores del Applied
Data Research Inc. Dirigido por Anatol Holt
y que trabajaban en el proyecto
"Information System Theory Project".

Fundamentos
Las Redes de Petri pueden considerarse como autmatas formales o

como generadores de lenguajes formales, tienen asociacin con la
teora de grafos y son excelentes para representar procesos
concurrentes, as como, procesos donde pueden existir restricciones
sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias.

Fundamentos
Modelar un sistema usando Redes de Petri

tiene tres ventajas potenciales:
El sistema completo es a menudo ms fcil
de entender debido a la naturaleza grfica y
precisa del esquema de representacin.
El comportamiento del sistema puede ser
analizado utilizando la teora de las redes de
Petri, que incluye herramientas para el
anlisis tales como los rboles de marcados y
establece relaciones entre ciertas estructuras
de redes y el comportamiento dinmico.
aplicarse
tambin
tcnicas
Pueden
para
la
Fundamentos
Puesto que las redes de Petri pueden

sintetizarse usando tcnicas "bottom-up" y "topdown", es posible disear automticamente
sistemas cuyo comportamiento es conocido o
fcilmente verificable.

Fundamentos
Para facilitar su uso en diferentes campos de

aplicacin, el modelo original se ha extendido en
dos aspectos:
1)Introduccin de modificaciones estructurales
para incrementar la potencia o la comodidad de
modelado o para facilitar la solucin de los
problemas de anlisis.
2) Definicin de redes de Petri temporizadas que
se pueden utilizar para analizar cuantitativa-mente
las prestaciones del sistema modelado.
Fundamentos
Las redes de Petri son

un
grafo
orientado
formado por:
Plazas o lugares
representadas mediante
circunferencias.
Transiciones, representadas por segmentos
rectilneos.
Arcos dirigidos que
unen
transiciones
y
plazas.
Fundamentos
Una plaza p es entrada de una transicin t si

existe un arco desde p a t.
Una plaza p es salida de una transicin t si
existe un arco desde t a p.

Fundamentos
Una puede contener un nmero positivo o nulo

de testigos o marcas, que representan por un
punto en el interior del crculo 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.

Fundamentos
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 estn presentes en una plaza,
indican que se verifica la condicin que
representa esa plaza.
Fundamentos
Una transicin est sensibilizada o habilitada

si todos las plazas de entrada estn
marcadas.
Una transicin habilitada se puede disparar.
El disparo de una transicin habilitada
consiste en quitar un testigo de cada plaza de
entrada y aadir un testigo a cada una de las
plazas de salida.

Fundamentos
EJEMPLOS DE DISPARO
EJEMPLO 1
EJEMPLO 2
EJEMPLO 3
ANTES DEL
DISPARO
DESPUS
DEL
DISPARO
Fundamentos
EVOLUCIN DEL MARCADO:

DISPARO DE LA TRANSICIN t1

Fundamentos

DISPARO DE LAS TRANSICIONES t2 t3

Fundamentos

DISPARO DE LA TRANSICIN t2

Fundamentos


Fundamentos


Fundamentos
EVOLUCIN DEL MARCADO

Formalizacin

Formalizacin

Formalizacin

Marcado

Marcado

Marcado

Disparo

Alcanzabilidad

rbol de Alcanzabilidad

rbol de Alcanzabilidad
OBTENCIN DEL RBOL: EJEMPLO 1

Representacin Matricial
Una red de Petri con n plazas y m transiciones se
representa por dos matrices de incidencia de dimensin

m x n que representan las conexiones entre los nudos de
la red:
La matriz de incidencia previa, C-:
C-(j,i)=I(pi, tj)
La matriz de incidencia posterior, C+:
C+(j,i)=O(pi, tj)
Se define la matriz de incidencia, C, como C= C+ - C-.




Disparo de la transicin t1
M0 =(1 0 0 0 0)
e1 =(1 0 0 0 0)
La transicin t1 est habilitada:

t1

Grafo dirigido en el que los nodos son bien places (estados) o

transiciones (eventos).
Los nodos de distinto tipo se conectan mediante arcos.

Los arcos pueden tener asociado un peso (1 por defecto).
Los estados pueden contener un nmero arbitrario de tokens
(crculos en negro).

Una transicin est activada (habilitada) si todos los estados que

estn conectados a ella mediante arcos de entrada tienen al menos
un token.

Diagramas de estado
Estado 1
Diagrama de flujo de datos
Redes de Petri
Estado 2
Estado 3
Estado 4


Estado --- proceso, momento o un tiempo
de espera.
Estados o campos
Transiciones --- Eventos o acontecimientos

(seal, interrupcin o llegada de un paquete
de datos).
Tokens
Arcos dirigidos
Transiciones

Reglas ms representativas de Redes de Petri
1. Una red de petri se ejecuta por el disparo de transiciones

2. Una Transicin puede dispararse si esta habilitada
3. Una Transicin esta habilitada, si cada uno de sus estados tiene al menos un token





Ejemplo: Carros que van y vienen sincronizados.

Al pulsar M, ambos carros se desplazan a la derecha, el regreso lo
hacen simultneamente, cuando ambos carros se encuentren en el
extremo derecho.



Ejemplo: Proceso de envo y recepcin de mensajes de correo electrnico
Escribir
Mensaje
Recibir
mensajes
En espera
Mensaje
escrito
Enviar
Mensaje
Buzn de
mensajes
Mensaje
recibido
En espera 2
Leer
mensajes



Redes de Petri

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Redes de Petri

Uploaded by

Copyright:

Available Formats

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Una Red de Petri es un modelo

El anlisis de las Redes de Petri

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

La teora de las Redes de

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Las Redes de Petri surgen en

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Las ideas de Petri atrajeron la atencin de

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Las Redes de Petri pueden considerarse como autmatas formales o

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Modelar un sistema usando Redes de Petri

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Av. Tecnolgico s/n, Ex-rancho la Virgen, Metepec, Mxico, C. P. 52140 A. P. 890

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Puesto que las redes de Petri pueden

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Para facilitar su uso en diferentes campos de

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Las redes de Petri son

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Una plaza p es entrada de una transicin t si

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Una puede contener un nmero positivo o nulo

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Transiciones: representan los procesos del

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Una transicin est sensibilizada o habilitada

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO:

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO:

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO:

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO:

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO:

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

EVOLUCIN DEL MARCADO

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca

POSGRADO DOCTORADO EN CIENCIAS EN INGENIERA ELECTRNICA

Divisin de Estudios de Posgrado e Investigacin del Tecnolgico de Toluca