Tapahtuman rakenne

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 28. marraskuuta 2019 tarkistetusta versiosta . vahvistus vaatii 1 muokkauksen .

Tapahtumarakenne on joukko tapahtumaobjekteja, joilla on syy-seuraus-riippuvuuden ja yhteensopimattomuuden rakenne . Määritelty kolmiosaiseksi , jossa: $(E,\leqslant ,\#)$

$E$ - monia tapahtumia
$\leqslant$ - osittainen järjestys , jota kutsutaan kausaaliseksi (tai kausaaliseksi), $E$
$\#$ - antirefleksiivinen symmetrinen suhde , jota kutsutaan yhteensopimattomuudeksi (tai konfliktiksi),

joka on seuraavien aksioomien alainen:

syiden äärellisyys: kullekin tapahtumalle edeltäjien joukko on äärellinen, $e\in E$ ${\displaystyle [e]=\{f\in E|f\leqslant e\))$ $e$ $E$
yhteensopimattomuuden perinnöllisyys: kullekin tapahtumalle , jos ja sitten . ${\näyttötyyli d,e,f\in E}$ $d\leqslant e$ $d\#f$ $e\#f$

Sitä käytetään tietojenkäsittelytieteessä ja soveltavassa matematiikassa ( jäljitelmämallinnus , automaattiteoria ).

Linkit

Winskel, Glynn . Tapahtumarakenteet , Springer.