Prihlásenie

Systém diskrétnych udalostí (DES – Discrete Event System) modeluje reálny systém prostredníctvom vykonávania diskrétnych udalostí. Pomocou DES možno reálny systém diskrétne simulovať, ale aj formálne analyzovať jeho štruktúru a správanie. Využitie tohto prístupu je veľmi široké, napr. v distribuovaných databázových systémoch, pružných výrobných systémoch, komunikačných protokoloch, návrhu hardvéru i softvéru alebo manažérskych procesoch.

Využíva sa na to aj Petriho sieť (PN – Petri net), čo je univerzálny grafický nástroj na modelovanie DES so solídnym analytickým aparátom.

Okrem základnej PN existujú jej rôzne rozšírenia a podtriedy, ktoré vytvárajú špecifické triedy PN, napríklad:
http://cpntools.org/
http://www.di.unito.it/~greatspn/index.html#GreatIntro
http://www.tu-ilmenau.de/fakia/Petri-nets.8162.0.html

Účelom projektu je pracovať na vývoji nástroja pre vybratú triedu PN a jeho použitie na riadenie systémov s prideľovaním prostriedkov.

Ďalšie podrobnosti, videoukážky a príklady použitia PN:
http://frdsa.fri.uniza.sk/wordpress/zarnay/vyucba/petrinets/

Pozn.: Súčasťou projektu bude dostatočné oboznámenie sa s potrebnými teoretickými poznatkami. Zvlášť vítaní sú študenti so vzťahom k programovaniu, teórii grafov a diskrétnej simulácii.

Možné témy diplomových prác:

• Testovanie komunikačných protokolov
• Matematické úlohy pomocou Petriho siete
• Process mining v Petriho sieti
• Analýza synchronizačných algoritmov
• Formálna analýza automatického systému