TAREAS E INVESTIGACIONES

Nombre: Ramirez Salazar Maricela

Nombre del curso: Ing. De Software
Unidad: 4
Fecha:
Bibliografa:

No. Control: 13250857

Nombre del profesor: Antonio Navarrete
Actividad:

Red de Petri
Una red de Petri son un grafo orientado formado por:
Plazas o lugares, representadas mediante circunferencias
Transiciones, representadas por segmentos rectilneos.
Arcos dirigidos que unen transiciones y plazas.

Una plaza puede contener un nmero positivo o nulo de testigos o marcas,

que se representan por un punto en el interior del crculo que representa una
plaza.
El marcado de una red de Petri es el conjunto de testigos asociados con cada
una de las plazas en un instante dado. Define el estado de la red de Petri.

Transiciones: representan los procesos del programa.

Plazas: representan las condiciones necesarias para que un proceso se
ejecute.

TAREAS E INVESTIGACIONES

Arcos dirigidos: relacionan condiciones y procesos.

Testigos: si estn presentes en una plaza, indican que se verifica la condicin
que representa esa plaza.
Redes de Petri: Disparo
Una transicin est sensibilizada o habilitada si todos las plazas de entrada
si todos las plazas de entrada estn marcadas.
Una transicin habilitada se puede disparar.
El disparo de una transicin habilitada consiste en quitar un testigo de cada
plaza de entrada y aadir un testigo a cada uno de las plazas de salida.