Pr-1st-1.1-m03-Slajd21

Graf stanów osiągalnych

Zbiór częściowo uporządkowany $⟨\mathrm{\Lambda },\mapsto ⟩$ może być przedstawiony w postaci grafu zorientowanego, w którym wierzchołki odpowiadają stanom $\mathrm{\Sigma }$, a łuki $⟨{\mathrm{\Sigma }}^k,{\mathrm{\Sigma }}^l⟩$ oznaczają istnienie zdarzenia dopuszczalnego $E$ takiego, że $⟨{\mathrm{\Sigma }}^k,E,{\mathrm{\Sigma }}^l⟩/in\mathrm{\Phi }$. Graf taki, będziemy nazywać grafem stanów osiągalnych przetwarzania rozproszonego lub siatką obliczeń rozproszonych.

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