Pr-1st-1.1-m02-Slajd32

Zdarzenie e_internal

Powiemy, że w procesie $P_i$ zaszło zdarzenie lokalne e_internal($P_i$), gdy proces ten wykonał operację, która nie zmienia stanu kanałów incydentnych procesu. Do zdarzeń lokalnych zalicza się między innymi zdarzenia: e_init($P_i,S_i^k$) - które nadaje procesowi $P_i$ stan $S_i^k$ (w szczególności stan początkowy $S_i^0$), oraz zdarzenie e_stop($P_i$) - które kończy wykonywanie procesu $P_i$.

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