Powrót do listy dziedzin badań
Modele współbieżności
Opis
Modele systemów współbieżnych, takie jak sieci Petriego, algebry procesów, struktury przyczyn i skutków. Tematy badawcze to weryfikacja, modelowanie przepływu pracy, sprawdzanie równoważności systemów, algebry procesów.
Seminaria
Pracownicy i doktoranci
-
dr Piotr Chrząstowski-Wachtel
Sieci Petriego, modelowanie przepływu pracy
- dr hab. Wojciech Czerwiński, prof. UW
- dr Piotr Hofman
-
dr Agata Janowska
Protokoły komunikacyjne, teoria współbieżności, automaty czasowe
-
prof. dr hab. Sławomir Lasota
Algebry procesów, równoważność bisymulacyjna, automaty czasowe, sieci Petriego
-
dr hab. Marcin Peczarski
Protokoły komunikacyjne
-
dr Jacek Sroka
Sieci Petriego, modelowanie przepływu prac