Pr-1st-1.1-m02-Slajd34

Funkcja tranzycji

Funkcja tranzycji ${\mathcal {F}}_{i}\subseteq {\mathcal {S}}_{i}\times {\mathcal {E}}_{i}\times {\mathcal {S}}_{i}$ opisuje reguły zmiany stanu $S$ na $S'$ w wyniku zajścia zdarzenia $E$. Elementy $\left\langle S,E,S'\right\rangle \in {\mathcal {F}}_{i}$ nazwiemy tranzycjami lub krokami. W zależności od zachodzącego zdarzenia $E$, tranzycję nazwiemy odpowiednio tranzycją wejścia, wyjścia lub lokalną.

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