Struktura události - Event structure
v matematika a počítačová věda, an struktura události představuje a soubor událostí, z nichž některé lze provádět pouze za druhou (existuje a závislost mezi událostmi ) a některé z nich nemusí být provedeny společně (existuje a konflikt mezi událostmi).
Formální definice
An struktura události skládá se z
- sada z Události
- A částečná objednávka vztah na volala kauzální závislost,
- an nereagující symetrický vztah volala nekompatibilita (nebo konflikt)
takhle
- konečné příčiny: pro každou událost , sada předchůdců v je konečný
- dědičný konflikt: pro každou událost , pokud a pak .
Viz také
Reference
- Winskel, Glynn (1987). "Struktury událostí" (PDF). Pokroky v Petriho sítích. Přednášky z informatiky. Springer.
Tento článek týkající se matematiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |