Estudiante

REDES DE PETRI
Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalizaciónde la teoría de autómatas que permite expresar eventos concurrentes.
Una red de Petri está formada por lugares, transiciones y arcos dirigidos, así como por fichas que ocupan posiciones. Los arcosconectan un lugar a una transición o una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número cualquiera de fichas. Las transiciones sedisparan, es decir consumen fichas de una posición de inicio y producen fichas en una posición de llegada. Una transición está habilitada si tiene fichas en todas sus posiciones de entrada.

Definición delas Redes de Petri
Mediante una red de Petri puede modelizarse un sistema de evolución en paralelo compuesto de varios procesos que cooperan para la realización de un objetivo común.
La presenciade marcas en una ficha se interpreta habitualmente como presencia de recursos. El franqueo de una transición (la acción a ejecutar) se realiza cuando se cumplen unas determinadas precondiciones,indicadas por las marcas en las fichas (hay una cantidad suficiente de recursos), y la transición (ejecución de la acción) genera unas postcondiciones que modifican las marcas de otras fichas (se liberanlos recursos) y así se permite el franqueo de transiciones posteriores.
Definición: Una red de Petri es un conjunto formado por R = {P,T,Pre,Post}, dónde P es un conjunto de fichas de cardinal n, T unconjunto de transiciones de cardinal m, Pre la aplicación de incidencia previa que viene definida como

Y Post la aplicación de incidencia posteriorque viene definida como

Definición: Una red marcada es el conjunto formado por {R,M} donde R es una Red de Petri como la definida, M es una...