Pr-1st-1.1-m03-Slajd05

Zbiór stanów globalnych (2)

Zbiór globalnych stanów początkowych ${\mathrm{\Sigma }}^0$ jest podzbiorem iloczynu kartezjańskiego ${{𝒮}}_1^0\times {{𝒮}}_2^0\times \dots \times {{𝒮}}_n^0$ zbiorów stanów początkowych procesów składowych.

Zbiór zdarzeń globalnych $\mathrm{\Lambda }$ jest sumą mnogościową ${{ℰ}}_1\cup {{ℰ}}_2\cup \dots \cup {{ℰ}}_n$ zbiorów zdarzeń procesów składowych.

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