UNIVERSIDAD DE GUADALAJARA

CENTRO UNIVERSITARIO DE CIENCIAS EXACTAS E INGENIERÍA

DIVISION DE ELECTRONICA Y COMPUTACION

DEPARTAMENTO DE CIENCIAS COMPUTACIONALES

INTELIGENCIA ARTIFICIAL II

TAREA 03

Nombre: Pedro Morales Enríquez

Código: 216787639
Sección: D02
Profesor: Julio Esteban Valdés López

Fecha: 18 de septiembre del 2020

 ÍNDICE

ÍNDICE ................................................................................................................................... 2
INTRODUCCIÓN .................................................................................................................. 3
REDES PETRI ....................................................................................................................... 2
CONCLUSIÓN ...................................................................................................................... 6
 INTRODUCCIÓN

En el siguiente trabajo de investigación se desarrollará un análisis sobre las redes de Petri.

Las redes de Petri fueron desarrolladas originalmente por Carl Adam Petri y fueron el tema
de su disertación en 1962. Desde entonces, las redes de Petri y sus conceptos se han
extendido y desarrollado, y se han aplicado en una variedad de áreas: automatización de
oficinas, trabajo- flujos, fabricación flexible, lenguajes de programación, protocolos y
redes, estructuras de hardware, sistemas en tiempo real, evaluación de desempeño,
investigación de operaciones, sistemas embebidos, sistemas de defensa,
telecomunicaciones, Internet, comercio electrónico y comercio, redes ferroviarias, sistemas
biológicos.
 REDES PETRI

Las redes de Petri (RP) se describen como una herramienta de naturaleza gráfica para el
diseño y análisis de sistemas dinámicos de eventos discretos. Una red de Petri se representa
gráficamente por un grafo dirigido bipartito. Los dos tipos de nodos, lugares y transiciones
representan, las variables que definen el estado del sistema (lugares) y a sus
transformadores (transiciones). Los lugares se representan por círculos, las transiciones por
barras y el marcado M se representa por una distribución en los lugares denominados
marcas. Una marca se representa gráficamente por un punto en el interior del círculo que
define el lugar que lo contiene. Los lugares y transiciones se conectan por arcos dirigidos.
Un arco dirigido de un lugar Pi a una transición Tj define un lugar de entrada de la
transición. Múltiples entradas a una transición son indicadas por múltiples arcos desde el
lugar de entrada a la transición. Un lugar de salida es indicado por un arco desde la
transición al lugar. Análogamente, múltiples salidas son representadas por múltiples arcos.
Una red de Petri es una colección de arcos dirigidos que conectan lugares y transiciones.
Los lugares pueden contener fichas. El estado o marcado de una red es su asignación de
fichas a lugares. Aquí hay una red simple que contiene todos los componentes de una red
de Petri:

Los arcos tienen capacidad 1 por defecto; si es diferente de 1, la capacidad está marcada en
el arco. Los lugares tienen una capacidad infinita de forma predeterminada, y las
transiciones no tienen capacidad y no pueden almacenar tokens en absoluto. Con la regla de
que los arcos solo pueden conectar lugares con transiciones y viceversa, tenemos todo lo
que necesitamos para comenzar a usar las redes de Petri. Se agregarán algunas otras
características y consideraciones a medida que las necesitemos.

Se habilita una transición cuando el número de tokens en cada uno de sus lugares de
entrada es al menos igual al peso del arco que va del lugar a la transición. Una transición
habilitada puede dispararse en cualquier momento. Cuando se disparan, las fichas en los
lugares de entrada se mueven a los lugares de salida, de acuerdo con los pesos del arco y las
capacidades de los lugares. Esto da como resultado una nueva marcación de la red, una
descripción del estado de todos los lugares.

Cuando los arcos tienen diferentes pesos, tenemos lo que al principio podría parecer un
comportamiento confuso.
Aquí hay una red similar, lista para disparar:

y aquí está después de disparar:

Cuando se activa una transición, toma los tokens que la habilitaron de los lugares de
entrada; luego distribuye tokens a los lugares de salida de acuerdo con los pesos de arco. Si
los pesos del arco son todos iguales, parece que las fichas se mueven a lo largo de la
transición. Sin embargo, si difieren, parece que los tokens pueden desaparecer o
crearse. Eso, de hecho, es lo que pasa; Piense en la transición como eliminar sus tokens de
habilitación y producir tokens de salida de acuerdo con el peso del arco.

Se utiliza un tipo especial de arco, el arco inhibidor, para invertir la lógica de un lugar de
entrada. Con un arco inhibidor, la ausencia de un token en el lugar de entrada habilita, no la
presencia:

Esta transición no puede dispararse porque la ficha en P2 la inhibe.

Aquí hay una colección de estructuras primitivas que ocurren en sistemas reales, y así las
encontramos en las redes de Petri.
La secuencia es obvia: suceden varias cosas en orden. El conflicto no es tan obvio. El token
en P4 permite tres transiciones; pero cuando uno de ellos dispara, la ficha se retira, dejando
a los dos restantes inhabilitados. A menos que podamos controlar el momento del disparo,
no sabemos cómo se resuelve esta red. La concurrencia, nuevamente, es obvia; muchos
sistemas operan con actividades concurrentes, y esto lo modela bien. La sincronización
también se modela bien utilizando redes de Petri; cuando los procesos que conducen a P8,
P9 y P10 terminan, los tres se sincronizan iniciando P11.

La confusión es otra construcción no tan obvia. Es una combinación de conflicto y

concurrencia. P12 habilita tanto T11 como T12, pero si T11 dispara, T12 ya no está
habilitado.

La fusión no es exactamente lo mismo que la sincronización, ya que no hay nada que

requiera que las tres transiciones se activen al mismo tiempo, o que las tres se activen antes
de T17; esto simplemente fusiona tres procesos paralelos. La construcción de prioridad /
inhibición usa el arco de inhibición para controlar T19; mientras P16 tenga una ficha, T19
no puede disparar.
 CONCLUSIÓN

Las redes de Petri representan una herramienta muy completa, tanto para el modelado de
sistemas, como para establecer una buena confiabilidad de software en sus diferentes etapas
de desarrollo y mantenimiento.
Es posible tener un sistema base que maneje redes de Petri y que tenga capacidad de
expansión para poder manejar redes de Petri extendidas, sin embargo, se requiere que el
usuario conozca la filosofía de desarrollo de este tipo de ambientes gráficos, y de algunos
detalles técnicos de las redes de Petri, ya que por la complejidad de las mismas se requieren
hacer cambios en varios elementos de control interno. Las redes Petri han demostrado desde
hace varios años su utilidad práctica en muchas áreas y en especial, en el modelado de
sistemas complejos.