Redes Petri

INTRODUCCIÓN:

En las RdP son usadas para modelar bases de reglas, relacionando simplemente algunos de los elementos (función de marcado) y características (básicamente lugares y transiciones) del formalismo de Petri con los elementos básicos de una KB (proposiciones, grados de verdad e implicaciones). Cuando la complejidad de los sistemas KB incrementa, nuevos elementos son incluidos en la definición inicial de una RdP, los cuales permiten a una RdP representar adecuadamente los rasgos que caracterizan una KB. Este procedimiento nos lleva a la representación de un nuevo modelo el cual es llamado red de Petri difusa (RPD). LasRdP tienen una cualidad inherente en representar lógica de una forma visual e intuitiva y las RPD toman todas estas ventajas de las RdP. De esta manera, la forma de razonamiento de un sistema experto puede ser reducida a simples árboles de nodos si algoritmos de razonamiento basados en RPD son empleados como máquinas de inferencia.

Objetivo:

El objetivo de las Redes de Petrí está enfocado al campo de la computación y este es el de buscar mayor eficiencia y concurrencia en el tratamiento de los datos y que estos no se estanquen o sobrecarguen la capacidad que ellos poseen en un procesador por medio de graficas especiales.

Definición:

Una red de Petrí es un grafo dirigido bipartito, con un estado inicial, llamado marcación inicial. Los dos componentes principales de la red de Petrí son los sitios, también conocidos como estados; y las transiciones. Gráficamente, los sitios son dibujados como círculos y las transiciones como barras o rectángulos. Las aristas del grafo son conocidas como arcos. Estos tienen un peso específico, el cual es indicado por un número entero positivo, y van de sitio a transición y viceversa. Por simplicidad, el peso de los arcos no se indica cuando éste es igual a 1. Un arco que esté etiquetado con k puede ser interpretado como k arcos paralelos.

Estructura de una red de Petri.

Las PN se componen de cuatro partes:

• Un conjunto de nodos.

• Un conjunto de transiciones.

• Una función de entrada y

• Una función de salida.

Es una gráfica dirigida G = (V, E) donde V = P U T y P "T = Ø, cualquier arista e en E es incidente en un miembro de P y un miembro de T, el conjunto P es el conjunto de lugares y el conjunto T es en conjunto de Transiciones.

Un marcado de una Red de Petrí asigna a cada lugar un entero no negativo, una red de Petrí con un marcado es una Red de Petrí Marcada (o simplemente una Red de Petrí).

Con un marcado se asigna al valor no negativo n al lugar p, decimos que existen n elementos en p, mediante los elementos a representar son los puntos.

Los

...