Pr-1st-1.1-m03-Slajd05

Zbiór stanów globalnych (2)

Zbiór globalnych stanów początkowych ${\boldsymbol {\Sigma }}^{0}$ jest podzbiorem iloczynu kartezjańskiego ${\mathcal {S}}_{1}^{0}\times {\mathcal {S}}_{2}^{0}\times \ldots \times {\mathcal {S}}_{n}^{0}$ zbiorów stanów początkowych procesów składowych.

Zbiór zdarzeń globalnych ${\mathit {\Lambda }}$ jest sumą mnogościową ${\mathcal {E}}_{1}\cup {\mathcal {E}}_{2}\cup \ldots \cup {\mathcal {E}}_{n}$ zbiorów zdarzeń procesów składowych.

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