Modelovanie a simulácia udalostných systémov

Organizácia
Podmienky
Semestrálny projekt
Materiály

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.

Podmienky absolvovania

Účasť na prednáškach: 20 bodov
Účasť na cvičeniach: 10 bodov 
Skúška (Skupinový projekt): 70 bodov

Na absolvovanie predmetu je nutné získať dokopy 56 bodov.

Náplňou semestrálneho projektu je vytvoriť procesnú aplikáciu pomocou modelovacieho jazyka Petriflow v poskytnutom aplikačnom servery.

Projekt má hodnotu skúšky a je možné za neho získať max. 70 bodov.

Semestrálny projekt je pre 5-členné až 6-členné tímy. Každý študent musí byť v nejakom tíme, ktorý má schválenú tému. Téma sa schvaľuje po konzultácii s cvičiacim na jednom z cvičení. Schválené témy sú zobrazené v tabuľke nižšie. Tabuľka je aktualizovaná priebežne.

Schválené tímy a témy

 

 

Process driven application development

Modely procesov (.xml súbory) si môžte zobraziť na stránke http://builder.interes.group/modeler.

1. Models

2. Roles

3. Data

4. Actions

Petriflow

Príklady procesov (use cases)

Vzorové riešenia zadania

Procesne riadený systém pre HR

Autoservice

Literatúra