Händelsestruktur

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 28 november 2019; verifiering kräver 1 redigering .

En händelsestruktur är en uppsättning händelseobjekt som är utrustade med en struktur av orsak-och-verkan-beroende och inkompatibilitet. Definierat som en trippel , där: $(E,\leqslant ,\#)$

$E$ - många evenemang
$\leqslant$ - partiell ordning på , som kallas kausalitet (eller kausalitet), $E$
$\#$ - antireflexiv symmetrisk relation , kallad inkompatibilitet (eller konflikt),

som är föremål för följande axiom:

orsakernas ändlighet: för varje händelse är uppsättningen av föregångare ändlig, $e\in E$ ${\displaystyle [e]=\{f\in E|f\leqslant e\))$ $e$ $E$
ärftlighet av inkompatibilitet: för varje händelse , om och då . $d,e,f\in E$ $d\leqslant e$ $d\#f$ $e\#f$

Det används inom datavetenskap och tillämpad matematik ( imitationsmodellering , automatteori ).

Länkar

Winskel, Glynn . Event Structures , Springer.