Pr-1st-1.1-m02-Slajd25

Model formalny procesu sekwencyjnego

Formalnie, proces sekwencyjny może być opisany (modelowany) przez uporządkowaną czwórkę $P_i=⟨{{𝒮}}_i,{{𝒮}}_i^0,{{ℰ}}_i,{ℱ}⟩$, gdzie ${{𝒮}}_i$ - jest zbiorem stanów procesu $P_i$, ${{𝒮}}_i^0$ - jest zbiorem stanów początkowych, ${{𝒮}}_i^0\subseteq {{𝒮}}_i$, ${{ℰ}}_i$ - jest zbiorem zdarzeń procesu $P_i$, ${ℱ}$ - jest funkcją tranzycji, taką że: ${ℱ}\subseteq {{𝒮}}_i\times {{ℰ}}_i\times {{𝒮}}_i$, a $⟨S,E,S^{\prime }⟩{{ℱ}}_i$, jeżeli zajście zdarzenia $E$ w stanie $S$ jest możliwe i prowadzi do zmiany stanu na $S^{\prime }$.

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