Pr-1st-1.1-m03-Slajd15: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
Przez <math>\mapsto _i</math> oznaczamy '''relację poprzedzania lokalnego''' zdarzeń procesu <math>P_i</math>, taką że: | Przez <math>\mapsto _i</math> oznaczamy '''relację poprzedzania lokalnego''' zdarzeń procesu <math>P_i</math>, taką że: | ||
<math>E_i^k \mapsto_i E_j^l</math> wtedy i tylko wtedy, gdy <math>i=j</math> oraz <math>k | <math>E_i^k \mapsto_i E_j^l</math> wtedy i tylko wtedy, gdy <math>i=j</math> oraz <math>k < l</math> (lub gdy <math> i=j</math> | ||
oraz <math>E_i^k \mapsto E_j^l</math>). | oraz <math>E_i^k \mapsto E_j^l</math>). | ||
[[pr-1st-1.1-m03-Slajd14 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd16 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd14 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd16 | Następny slajd >>]] | ||
Wersja z 15:50, 7 wrz 2006
Relacja poprzedzania lokalnego
Przez oznaczamy relację poprzedzania lokalnego zdarzeń procesu , taką że: wtedy i tylko wtedy, gdy oraz (lub gdy oraz ).
