PAREOS Y REDES DE PETRI

PAREOS Y

REDES DE PETRI

EXTENSIONES DE REDES DE PETRI

Una red de Petri es un grafo orientado con dos tipos de nodos: lugares (representados mediante circunferencias) y transiciones (representadas por segmentos rectos verticales). Los lugares y las transiciones se unen mediante arcos flechas.

Dado un grafo, un pareo es un subconjunto de aristas los cuales no tiene vértices en común.

Teorema de flujo máximo

Generalmente existen varios flujos con el mismo valor máximo. Para encontrar el flujo máximo consideraremos un flujo inicial en cada arista iguala cero, después se determina un camino específico de la fuente al sumidero y se incrementa el flujo.

Las capacidades deben representar la máxima cantidad de flujo que pueden pasar por los diferentes arcos de la red.

En lo que respecta a las redes, un corte es un conjunto de corte en el cual, quedando partes disjuntas del conjunto de vértices, V1 y V2 que, situados en la red, dejan la fuente en una de ellas y al sumidero en la otra. Se llama capacidad de un corte a la suma.

Teorema de flujo mínimo

INTEGRANTES:

FLORES MURILLO CYNTHIA SORAYA GUILLÉN ROJAS LUIS ALFONSO