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 [[
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.
|