Procesy Współbieżne

Procesy Współbieżne - Zbigniew Banaszak

Praca składa się z czterech rozdziałów kończących się stosownymi wykazami literatury tematu.
W rozdziale pierwszym przedstawiono podstawowe pojęcia związane z systemami procesów współbieżnych, systemami rozproszonymi oraz przetwarzaniem współbieżnym i rozproszonym, w tym rozstrzyganiem konfliktów zasobowych. Analizując dostępne algorytmy zapobiegania, unikania oraz wykrywania i likwidacji blokad szczególną uwagę zwrócono na klasyfikację problemów rozdziału zasobów (problemów rozstrzygania konfliktów zasobowych), a także ocenę ważniejszych metod stosowanych przy ich rozwiązywaniu.
W rozdziale drugim natomiast, wprowadzającym w podstawy formalne teorii sieci Petriego, przedstawiono zasady klasyfikacji modeli sieciowych oraz wybrane przykłady metod modelowania systemów rozproszonych.
W rozdziale trzecim, wprowadzającym w podstawy formalne dyskretnych systemów zdarzeniowych, a w szczególności formalizm (max,+) algebry, przedstawiono oryginalną metodę syntezy modeli analitycznych wybranej klasy systemów cyklicznych procesów współbieżnych.