Изменения
→Декомпозиция исполнения
|id = decomosition
|definition = Определим '''декомпозицию исполнения''' как пятёрку <tex> (H, G, \rightarrow_G, inv, res) </tex>, где
* <tex> H -</tex> множество '''операций''' <tex> (\forall e \in H: e \subset G)</tex>* <tex> G -</tex> множество '''событий'''</tex>
* <tex> \rightarrow_G - </tex> отношение строгого порядка '''произошло до''' на '''событиях''' из <tex> G </tex>
* <tex> inv, res: H \rightarrow G - </tex> такие функции, что
