Händelsestruktur

Inom matematik och datavetenskap representerar en händelsestruktur en uppsättning händelser, av vilka några endast kan utföras efter varandra (det finns ett beroende mellan händelserna) och av vilka några kanske inte utförs tillsammans (det finns en konflikt mellan händelserna) ).

Formell definition

En händelsestruktur $(E,\leq ,\#)$ består av

• en uppsättning $E$ av händelser
• en partiell ordningsrelation på $E$ som kallas kausalt beroende ,
• en irreflexiv symmetrisk relation $\#$ som kallas inkompatibilitet (eller konflikt )

Så att

• finita orsaker : för varje händelse $e\in E$ , uppsättningen $[e]=\{f\in E\mid f\ leq e\}$ av föregångare till $e$ i $E$ är ändlig
• ärftlig konflikt : för varje händelse $d,e,f\in E$ , om $d\leq e$ och $d\#f$ sedan $e\#f$ .

Se även

• Binär relation
• Matematisk struktur

• Winskel, Glynn (1987). "Händelsestrukturer" (PDF) . Framsteg inom Petri Nets . Föreläsningsanteckningar i datavetenskap. Springer.