Pr-1st-1.1-m03-Slajd15

Relacja poprzedzania lokalnego

Przez $\mapsto _{i}$ oznaczamy relację poprzedzania lokalnego zdarzeń procesu $P_{i}$, taką że: $E_{i}^{k}\mapsto _{i}E_{j}^{l}$ wtedy i tylko wtedy, gdy $i=j$ oraz $k<l$ (lub gdy $i=j$ oraz $E_{i}^{k}\mapsto E_{j}^{l}$).

<< Poprzedni slajd | Spis treści | Następny slajd >>