En matemáticas e informática , una estructura de eventos representa un conjunto de eventos, algunos de los cuales solo se pueden realizar después de otro (hay una dependencia entre los eventos ) y algunos de los cuales pueden no realizarse juntos (hay un conflicto entre los eventos ).
Definicion formal
Una estructura de eventos consiste en
- un conjunto de eventos
- una relación de orden parcial enllamada dependencia causal ,
- un irreflexive simétrica relaciónllamado incompatibilidad (o conflicto )
tal que
- causas finitas : para cada evento, el conjunto de los predecesores de en es finito
- conflicto hereditario : para todos los eventos, Si y luego .
Ver también
Referencias
- Winskel, Glynn (1987). "Estructuras de eventos" (PDF) . Avances en redes de Petri . Apuntes de conferencias en Ciencias de la Computación. Saltador.