Pr-1st-1.1-m02-Slajd34

Funkcja tranzycji

Funkcja tranzycji ${{ℱ}}_i\subseteq {{𝒮}}_i\times {{ℰ}}_i\times {{𝒮}}_i$ opisuje reguły zmiany stanu $S$ na $S^{\prime }$ w wyniku zajścia zdarzenia $E$. Elementy $⟨S,E,S^{\prime }⟩\in {{ℱ}}_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 >>