Ingeniera en Software

Matemticas Discretas
Alumno: Paul Vega Rodrguez
Facilitador: Luis Miguel Venegas
Hernndez

Redes de Petri
Modelo de Redes

REDES DE PETRI
Definicin
Historia
Estructuras bsicas
Ventajas
Desventajas
Aplicaciones
Propiedades
Subclases
Mtodos de anlisis
Conclusiones
Bibliografa

DEFINICION

Las
redes
de
Petri
son
representaciones
graficas
que
permiten modelar sistemas con flujo
de
informacin,
mostrando
la
informacin importante sobre su
estructura y comportamiento dinmico.
Pueden
considerarse
como
generadores de lenguaje o autmatas
formales asociados a la teora de
grafos.
Por sus caractersticas, son de gran
utilidad para el diseo, especificacin y
simulacin de sistemas de hardware o
software;
permiten
representar
procesos
concurrentes
y
modelamiento matemtico del sistema.

HISTORIA
Surgen en 1962 con el trabajo doctoral de Carl Adam Petri
"Kommunikation mit Automaten" (Comunicacin con autmatas),
en Alemania.
Petri formul la base para una teora de comunicacin entre
componentes asncronos de un sistema de cmputo.
El trabajo del proyecto Systemics proporcion la teora
primaria, notacin y representacin de las Redes de Petri.
Posteriormente, en el artculo titulado "Events and Conditions",
publicado en 1970, Holt y Commoner muestran como las Redes
de Petri pueden aplicarse al modelado y anlisis de sistemas
con componentes concurrentes.
En la actualidad, existe gran difusin de los avances en Redes
de Petri y prcticamente existe una sola corriente entre los
investigadores

Estructuras Bsicas
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
ejecucin.
Los componentes se pueden relacionar de mltiples
formas, tanto los lugares como las transiciones pueden ser
origen y destino de varias transiciones o lugares.
Cada lugar tiene asociada una accin o salida y los que
contienen marcas se consideran lugares activos. Por otra
parte, cuando todos los lugares de una transicin estn
marcados, dicha transicin se considera sensibilizada. La
transicin estar validada cuando ocurra un evento
relacionado con esta.

VENTAJAS
Facilidad de interpretacin del sistema pues el
esquema es grfico e ilustrativo.
Permiten tratar procesos independientes de forma
individual.
Proporcionan un modelamiento ms 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 topdown.
Permiten modelar procesos concurrentes.

DESVENTAJAS
Las redes de Petri generales no pueden modelar
ciertas situaciones de prioridad.
Pueden presentarse problemas de anlisis 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 especficos.

APLICACIONES
Modelamiento de sistemas o aplicaciones que se
ejecutan en tiempo real.
Sistemas operativos y compiladores.
Hardware y Software de computadores
Redes de libre eleccin, que permiten modelar
ambientes industriales de produccin.
Diagramas de Flujo de Datos (DFD)
Protocolos de Comunicacin
Bases de Datos.

REDES DE PETRI:
PROPIEDADES
Las propiedades de las redes de
Petri
nos
permiten
detectar
fenmenos de inters o errores de
funcionamiento en el sistema que
modelan.

CUALES SON SUS

PROPIEDADES

Vivacidad
Ciclicidad
Limitacin
Conservacin
Conflictividad
Exclusin mutua

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 es viva.

CICLICIDAD
Una RdP para un marcado
inicial M0 se dice que posee
un comportamiento
globalmente cclico, si existe
una secuencia de disparos
que permite alcanzar el
marcado inicial M0 a partir
de cualquier marcado Mi
sucesor de M0.

LIMITACIN
El inters de la limitacin
de una red es que
garantiza la finitud de sus
marcados alcanzables.
Desde un punto de vista
prctico, una red k-limitada
puede implementarse con
un conjunto de recursos
finitos.

CONSERVACION
El concepto de conservacin est
relacionado con el nmero de recursos
disponibles, que no puede variar durante la
ejecucin de la red
de Petri. La manera ms simple de
conseguirlo es requerir que el nmero total
de testigos en la red permanezca
constante. Sin embargo, la conservacin
estricta es una relacin muy fuerte y
normalmente conviene hablar de
conservacin con respecto a un vector
peso.

CONFLICTIVIDAD
Se dice que en una RdP existe un conflicto estructural
cuando un lugar posee ms de una transicin de salida.
Se dice que dos transiciones ti y tj estn en conflicto
efectivo para M0 si:
Existe un marcado alcanzable desde M0 que sensibiliza
simultneamente a ti y tj.
Si al dispararse ti (tj) el marcado que se obtiene no habilita
a tj (ti).

EXCLUSIN MUTUA
Un conjunto de transiciones Te T se dice que
son mutuamente exclusivas si el disparo de
cualquier transicin ti Te genera un marcado en
el cual todas las dems transiciones tj Te, i j, se
deshabilitan.
Se dice que dos plazas de una red de Petri estn
en exclusin mutua para un marcado M0 si no
pueden estar marcadas simultneamente en los
marcados alcanzables a partir de M0.

REDES DE PETRI: SUBCLASES

Las redes de Petri, a pesar de basarse en unas reglas
bastante simples, pueden exhibir comportamientos
muy complicados. Como consecuencia, se han
introducido clases restringidas de redes de Petri, que
son ms fciles de analizar, y se han estudiado sus
propiedades.
El objetivo que se persigue al definir una subclase de
red de Petri es que pueda modelar una gran variedad
de sistemas y que, al menos para los problemas de
inters, se puedan utilizar procedimientos de anlisis
simples.

SUBCLASES DE REDES DE
PETRI
Grafos de estados (GE) o mquinas de
estados (ME)
Grafo marcado (GM) o grafo de
sincronizacin
Red de libre eleccin (RLE)
Red de Petri simple (RS)

GE O ME
Son RdP en las que cada transicin ha de
tener exactamente una entrada y una
salida. Una mquina de estados es
estrictamente conservativa y muy sencilla
de analizar, pero tiene un inters muy
limitado debido a su escasa potencia de
modelado. Puede representar conflictos o
alternativas,
pero
no
paralelismo,
concurrencia ni sincronizacin.

GM
Es una RdP en la que cada plaza tiene
exactamente una entrada y una salida.
Los grafos marcados pueden representar
paralelismo,
concurrencia
y
sincronizacin, pero no conflicto o
decisiones dependientes de datos.

RLE
Es aquella en la que cada plaza p es o bien la nica
plaza de entrada de una transicin o hay como mucho
una transicin que tiene p como una plaza de entrada.
Esta subclase permite el modelado de concurrencia y
conflicto, pero de una manera ms restringida que en
el modelo general. Segn la definicin de las redes de
Petri libres de eleccin, si una plaza es la entrada de
varias transiciones (conflicto potencial), es la nica
entrada de estas transiciones. Por tanto, o bien todas
estas transiciones conflictivas estn simultneamente
habilitadas o ninguna de ellas lo est.

RS
Es aquella en la que cada transicin tiene
como mximo una plaza de entrada
compartida con otra transicin.

MTODOS DE ANLISIS
Las basadas en el rbol de alcanzabilidad
Las basadas en las ecuaciones matriciales
o de estado.

ANLISIS A PARTIR DEL RBOL

DE ALCANZABILIDAD
Analizando el rbol de alcanzabilidad se puede obtener una informacin
detallada del comportamiento del sistema modelado.
El anlisis del rbol de alcanzabilidad se puede utilizar para determinar
si la red de Petri es una representacin vlida del sistema modelado,
para verificar la correccin de un diseo, para elegir la mejor entre varias
propuestas o para predecir el comportamiento del sistema. La principal
desventaja es que el rbol de alcanzabilidad puede hacerse complejo,
grande e inmanejable.

ANLISIS MATRICIAL DE UNA RED

DE PETRI
El anlisis de las redes de Petri mediante tcnicas
matriciales es muy prometedor, pero presenta
tambin severos problemas. La matriz C, por s
sola, no refleja totalmente la estructura de la red.
El vector de disparo no da informacin sobre el
orden en que se lleva a cabo el disparo de las
transiciones. Slo informa de qu transiciones se
disparan y cuntas veces.

Adems, el que exista solucin para la ecuacin

M=M +f( ) C es una condicin necesaria, pero
no suficiente, para que el marcado sea alcanzable;
puede ocurrir que la solucin encontrada no se
corresponda con ninguna secuencia de disparos
permitida.

MODELO DE REDES

DEFINICION
CONCEPTOS BSICOS
TIPOS DE MODELOS DE REDES
MODELO DE RUTA MAS CORTA (MRC)
EJEMPLO
MODELO DE RBOL DE EXPANSIN MNIMA (AEM)
EJEMPLO
MODELO DE RED DE FLUJO MXIMO
EJEMPLO
MODELO GENERALDE FLUJO DE COSTO MINIMO
EJEMPLO
CONCLUSIONES
BIBLIOGRAFIA

DEFINICIN
Los modelos de administracin de redes
se aplican a numerosos casos de la
ciencia de a administracin, en particular
relacionados con la optimizacin de redes
de transporte, logstica, redes elctricas o
de comunicacin, pero tambin en
programacin y seguimiento de procesos,
en marketing, recursos humanos y
finanzas.

CONCEPTOS BSICOS
Arista
Nodo
Capacidad
Sumidero (z)
Fuente (a)
Red

ARISTA
Segmento de recta dirigido de un punto a
otro.

NODO
Es el punto de interseccin de dos o ms
aristas.

CAPACIDAD
En una red, es la capacidad mxima de
una arista cualquiera.

SUMIDERO (Z)
Es el punto de llegada del flujo total de
una red.

FUENTE
Punto de partida del flujo total de la red.

RED
Es un grafo dirigido formado por una
fuente, un sumidero, aristas y nodos.

MODELO DE RUTA MAS

CORTA (RMC)
Los problemas de la ruta RMC se considera
una red conexa y no dirigida con 2 nodos
especiales, llamados origen y destino. A
cada una de las ligaduras (arcos no
dirigidos) se asocia una distancia no
negativa. El objetivo del analisis es
encontrar la ruta mas corta, es decir, la
trayectoria con la minima distancia total, que
va del origen al destino.

EJEMPLO RCM

MODELO DE RBOL DE
EXPANSIN MNIMA (AEM)
Los problemas de AEM se considera una red conexa y no
dirigida. Cada ligadura esta unida a una medida de
longitud positiva (distancia, costo, etc.).
Se trata de crear un rbol de expansin, problema til en la
planeacin de redes de transporte que no se transitaran
mucho y en las que la inquietud principal es proporcionar
alguna trayectoria entre todos los pares de nodos de la
manera mas econmica.
La resolucin de este problema consiste en elegir, desde
cualquier nodo la rama mas corta posible a otro nodo,
simplemente este proceso se repite hasta que se hayan
conectado todos los nodos.

EJEMPLO AEM

MODELO DE RED DE FLUJO

MXIMO
Su objetivo es maximizar el flujo por unidad
de tiempo entre el nodo origen y el destino,
teniendo en cuanta las capacidades
mximas por unidad de tiempo de cada
tramo.

 El Flujo Total Es 14

MODELO GENERALDE FLUJO

DE COSTO MINIMO
El objetivo del modelo es minimizar el
costo total de transportar los recursos
disponibles en los nodos de origen a
travs de la red para abastecer la
demanda en los nodos de tipo destino.

Ejemplo Flujo de Costo Mnimo

CONCLUSIONES
Las RDP han demostrado desde hace mas de 45
anos su utilidad practica en muchas reas y en
especial, en el modelado de sistemas complejos.
A pesar de la gran cantidad de publicaciones
existentes, su divulgacin en el mbito es muy
limitada.
Este trabajo permite generar conciencia en el
lector sobre el impacto de las mismas en el diseo
e implementacin de algoritmos de control para
controladores lgicos programables.

BIBLIOGRAFA
http://antares.itmorelia.edu.mx/~fmorales/Sis
DisII/aRedesPetri01.pdf
http://www.uhu.es/diego.lopez/AI/auto_trans
-tema3.PDF
http://www.monografias.com/trabajos14/red
esdepetri/redesdepetri.shtml
http://webdiis.unizar.es/~joseluis/TPN&RT.p
df
http://www.worldlingo.com/ma/enwiki/es/Petr
i_net

CONCLUSIONES
Las RDP han demostrado desde hace mas de 45
anos su utilidad practica en muchas reas y en
especial, en el modelado de sistemas complejos.
A pesar de la gran cantidad de publicaciones
existentes, su divulgacin en el mbito es muy
limitada.
Este trabajo permite generar conciencia en el
lector sobre el impacto de las mismas en el diseo
e implementacin de algoritmos de control para
controladores lgicos programables.

BIBLIOGRAFA
http://antares.itmorelia.edu.mx/~fmorales/Sis
DisII/aRedesPetri01.pdf
http://www.uhu.es/diego.lopez/AI/auto_trans
-tema3.PDF
http://www.monografias.com/trabajos14/red
esdepetri/redesdepetri.shtml
http://webdiis.unizar.es/~joseluis/TPN&RT.p
df
http://www.worldlingo.com/ma/enwiki/es/Petr
i_net