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
- Základné vlastnosti udalostných systémov, dosiahnuteľnosť, ohraničenoť, živosť a deadlocky.
- Sekvenčný popis správania v Petriho sieťach.
- Štrukturálna analýza a invarianty Petriho sietí.
- Analýza živosti v Petriho sieťach. Analýza ohraničenosti v Petriho sieťach.
- Analýza deadlockov v Petriho sieťach.
- Analýza dosiahnuteľnosti v automatoch a v Petriho sieťach.
- Syntéza modelov založených na Petriho sieťach z regulárnych výrazov a automatov.
- Nesekvenčné popisy správania udalostných systémov.
- Overovanie dosiahnuteľnosti pomocou nesekvenčných procesov.
- Algoritmy overovania uskutočniteľnosti sekvenčných a nesekvenčných scenárov.
- Syntéza modelov založených na Petriho sieťach z nesekvenčných scenárov.
- 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