====== Wojciech Rząsa ======

==== Zaproszenie na obronę pracy doktorskiej ====


^   **DZIEKAN i RADA WYDZIAŁU**    \\    **ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI i ELEKTRONIKI**    \\    **AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE**   ^
|   zapraszają na    \\    publiczą dyskusję nad rozprawą doktorską    \\      \\   //mgra inż. Wojciecha Rząsy//      \\                 |
|  ** Timed Colored Petri Net Based Estimation of Efficiency of the Grid Applications   **  |
|  Obrona rozprawy doktorskiej odbędzie się 28 września 2011 roku o godz. 13.00 \\ w pawilonie B-1, w sali nr 4, parter, AGH-Kraków, al. Mickiewicza 30  |
|  **PROMOTOR:** prof. dr hab. inż.Edward NAWARECKI   |
|  ** RECENZENCI:** prof. dr hab. inż. Zbigniew Huzar   |
|  **            ** dr hab. Marcin Szpyrka   |
|  Z rozprawą doktorską i opiniami recenzentów można się zapoznać \\ w Czytelni   Biblioteki Głównej AGH, al. Mickiewicza 30  |

\\
\\
==== Streszczenie ====

** Timed Colored Petri Net Based Estimation of Efficiency of the Grid Applications    **

//mgr inż. Wojciech Rząsa//


**Promotor:** prof. dr hab. inż.Edward NAWARECKI\\
**Dyscyplina:** Informatyka

Badania opisane w rozprawie dotyczą metody przeznaczonej dla twórców aplikacji i ułatwiającej estymację efektywności aplikacji przeznaczonych dla środowiska rozproszonego, w szczególności dla Gridu. Metoda pozwala twórcom opisać koncepcję aplikacji oraz wykorzystywanych przez nią zasobów na wysokim poziomie abstrakcji, umożliwiając w ten sposób wygodną analizę, jeśli to konieczne już na wczesnym etapie projektowania. Taki model jest później automatycznie (bez udziału twórców aplikacji) przekształcany do formalizmu Czasowych Kolorowanych Sieci Petriego (ang. Timed Colored Petri Nets - TCPN), który umożliwia wiarygodne odzwierciedlenie akcji zachodzących w systemach rozproszonych. Dokładność szacowania jest zapewniana przez formalizm TCPN, wspomagany przez zewnętrzne, wymienne moduły, modelujące problemy związane z transmisją danych.

Głównym wkładem opisywanych badań jest wyżej opisana metoda symulacji i połączenie zalet analizy opartej na formalizmie wspartym specjalizowanymi modułami z wygodą szybkiego modelowania, na wysokim poziomie abstrakcji. Opisano także rozwiązania dla kilku dobrze zdefiniowanych problemów naukowych i technicznych, które napotkano podczas realizacji badań, a które mogą być użyteczne podczas innych prac.
----