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 – štvrtok, 10:00 – 12:00, AB150
• Cvičenie: 2 hodiny týždenne – streda, 13:00 – 15:00 a 15:00 – 17:00, C117
• Samostatné domáce štúdium

Konzultácie:

Konzultačné hodiny po dohode mailom, alebo osobne na cvičení.

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.