8299308409

Programowanie Równoległe i Rozproszone Wykład 5

MODELE

Graf zależności to skierowany acykliczny graf reprezentujący relacją zależności (skończona, symetryczna, zwrotna).

Diagram zależności to wizualna reprezentacja grafu zależności. W tym diagramie krawędzie prowadzą od każdego modułu do wszystkich modułów, które są od niego (modułu wyjściowego) zależne.

MODELE

Sieci Petri

Sieci Petri zostały zdefiniowane w latach 60. XX wieku przez Carla Adama Petriego .

Sieć Petri (zwana także siecią miejsce/ tranzycja (place/transition) lub P/T net) to matematyczna reprezentacja dyskretnych systemów rozproszonych.

Przez swoją zdolność do wyrażania współbieżnych zdarzeń uogólniają one teorię automatów

Sieć Petriego w najprostszej wersji składa się z "miejsc", "tranzycji" oraz krawędzi skierowanych. Taką siecią można jedynie opisać układ jako statyczne połączenie możliwych do osiągnięcia stanów .

MODELE

Sieć Petri

Sieć Petriego w najprostszej wersji składa się z "miejsc", "tranzycji" oraz krawędzi skierowanych. Taką siecią można jedynie opisać układ jako statyczne połączenie możliwych do osiągnięcia stanów. Aby opisać konkretny stan układu, potrzebne są "żetony", które można przemieszczać pomiędzy miejscami poprzez przejścia - po krawędziach grafu.

Przygotował: Lucjan Stapp