Diferencia entre revisiones de «Red de Petri»

Contenido eliminado Contenido añadido
Sin resumen de edición
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 1:
[[Archivo:Animated Petri net commons.gif|280px|right|thumb|Ejemplo de la trayectoria de una red de Petri.]]
Una '''Red de Petri''' es una [[Gráfica|representación]] [[matemáticas|matemática]] o [[grafosgrafo dirigidosdirigido|gráfica]] de un sistema a eventos discretos en el cual se puede describir la [[topología]] de un sistema [[sistema distribuido|distribuido]], [[sistema paralelo|paralelo]] o [[sistema concurrente|concurrente]]. La red de Petri esencial fue definida en la década de los [[años 1960]] por [[Carl Adam Petri]]. Son una generalización de la [[teoría de autómatas]] que permite expresar un sistema a [[evento concurrente|eventos concurrentes]].
 
Una red de Petri está formada por [[elementos de la red de Petri|lugares]], [[elementos de la red de Petri|transiciones]], [[elementos de la red de Petri|arcos dirigidos]] y [[elementos de la red de Petri|marcas o fichas]] que ocupan posiciones dentro de los lugares. Las reglas son: Los arcos conectan un lugar a una transición así como una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen marcas de una posición de inicio y producen marcas en una posición de llegada. Una transición está habilitada si tiene marcas en todas sus posiciones de entrada.