red de petri
DESCRIPTION
Red de PetriTRANSCRIPT
TAREAS E INVESTIGACIONES
Nombre: Ramirez Salazar MaricelaNo. Control: 13250857
Nombre del curso: Ing. De SoftwareNombre del profesor: Antonio Navarrete
Unidad: 4Actividad:
Fecha:
Bibliografa:
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.
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.