Las redes de Petri son una herramienta de modelado muy efectiva para la representacin y el anlisis de procesos concurrentes.

Una Red de Petri es una representacin matemtica o grfica de un sistema a eventos di scretos en el cual se puede describir la topologa de un sistema distribuido, para lelo o concurrente. La red de Petri esencial fue definida en la dcada de los aos 1 960 por Carl Adam Petri. Una red de Petri est formada por lugares, transiciones, arcos dirigidos y marcas o fichas que ocupan posiciones dentro de los lugares. Las reglas son: Los arcos conectan un lugar a una transicin as como una transicin a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un nmero finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen m arcas de una posicin de inicio y producen marcas en una posicin de llegada. Una tr ansicin est habilitada si tiene marcas en todas sus posiciones de entrada. Las redes de Petri son un grafo orientado formado por: Plazas o lugares, representadas mediante circunferencias 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, q p pp ue 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. Testigos: si estn presentes en una plaza, indican que se verifica la condicin que representa esa plaza. imagen_2 Una transicin est sensibilizada o habilitada 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. imagen_3_a_la_9_escoger