604495329

Program przedmiotu

* Idea i abstrakcja programowania współbieżnego » Problem wzajemnego wykluczania «• Pojęcia semafora i monitora » Podstawy modelowania formalnego » Sieci miejsc i przejść » Kolorowane sieci Petriego « Metody analizy formalnej współbieżnych systemów informatycznych

' Laboratorium:    /

Wykorzystanie kolorowanych sieci Petriego do modelowania współbieżnych systemów informatycznych