title: Estructura de eventos
text: # Estructura de eventos
  
  En Informática, una estructura de eventos representa un Conjunto de eventos, de los cuales unos pueden ser ejecutados solamente después de otros (existe una dependencia entre ellos), otros pueden ser ejecutados al mismo tiempo que otros y otros no pueden ejecutarse al mismo tiempo que otros (porque existe un conflicto entre eventos).
  
  # Estructura de eventos
  ## Definición formal
  
  Una estructura de eventos $(E,\leq ,\#)$ consiste en
  * un conjunto $E$ de eventos
  * una Relación matemática de orden parcial sobre $E$ llamada dependencia causal,
  * una Relación simétrica e irreflexiva $\#$ llamada incompatibilidad (o conflicto)
  de tal forma que hay
  * causas finitas: para cada evento $e\in E$, el conjunto $[e]=\{f\in E|f\leq e\}$ de predecesores de $e$ in $E$ es finito
  * conflictos hereditarios: para cada evento $d,e,f\in E$, si $d\leq e$ y $d\#f$ entonces $e\#f$.
  
  # Estructura de eventos
  ## Extensiones
  
  Una extensión muy utilizada es la estructura de eventos temporizados
  
  # Estructura de eventos
  ## Aplicaciones
  
  Mauricio Toro Bermúdez ha utilizado las estructuras de eventos temporizados para dar una Semántica formal a las Partituras musicales interactivas estructuradas