Modelovanie a simulácia udalostných systémov

Organizácia predmetu

Predmet je členený do nasledujúcich aktivít:

• Prednášky: 2 hodiny týždenne podľa rozvrhu: Štvrtok, 10:00 – 12:00
• Cvičenie: 2 hodiny týždenne podľa rozvrhu: Streda, 10:00 – 12:00
• Samostatné domáce štúdium

Konzultácie:

Konzultačné hodiny dohodou (na prednáške/emailom/Discord)

Cieľ predmetu

Cieľom predmetu je osvojiť si prostriedky a metódy modelovania, simulácie, analýzy a syntézy systémov, ktorých základnou charakteristikou sú diskrétne zmeny stavov vyvolané udalosťami. Ďalej je cieľom oboznámiť sa s algoritmami analýzy a syntézy pre konkrétne modelovacie formalizmy, najmä Petriho siete a ukázať ich použitie pri analýze a syntéze systémov v rôznych aplikačných oblastiach.

Plán semestra

1. Základné vlastnosti udalostných systémov, dosiahnuteľnosť, ohraničenoť, živosť a deadlocky.
2. Sekvenčný popis správania v Petriho sieťach.
3. Štrukturálna analýza a invarianty Petriho sietí.
4. Analýza živosti v Petriho sieťach. Analýza ohraničenosti v Petriho sieťach.
5. Analýza deadlockov v Petriho sieťach.
6. Analýza dosiahnuteľnosti v automatoch a v Petriho sieťach.
7. Syntéza modelov založených na Petriho sieťach z regulárnych výrazov a automatov.
8. Nesekvenčné popisy správania udalostných systémov.
9. Overovanie dosiahnuteľnosti pomocou nesekvenčných procesov.
10. Algoritmy overovania uskutočniteľnosti sekvenčných a nesekvenčných scenárov.
11. Syntéza modelov založených na Petriho sieťach z nesekvenčných scenárov.
12. Príklady použitia analýzy a syntézy v aplikačných oblastiach podnikových procesov, pružných výrobných systémov a komunikačných protokolov.