Organizácia predmetu
Predmet je členený do nasledujúcich aktivít:
- Prednášky: 2 hodiny týždenne podľa rozvrhu: Štvrtok 10:00 – 11:40
- Cvičenie: 2 hodiny týždenne podľa rozvrhu: Piatok 12:00 – 13:40
- Samostatné domáce štúdium
Konzultácie:
Dohodou (na prednáške/emailom/MSTeams)
Plán semestra
- Základné vlastnosti udalostných systémov, dosiahnuteľnosť, ohraničenosť, ž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 2025
Semestrové body (10): 2 testy (t1 + t2 + bb)
Skúškové body (90): min 45b zo skúšky, nutné zodpovedanie základných otázok. min. 56b(t1+t2+bb+sk)
t1 a t2 sú testy počas semestra, bb sú bonusové body počas semestra, pb sú prednáškové body a sk sú body dosiahnuté buď za riadny alebo opravný termín skúškového testu.
Účasť na skúške je podmienená získaním aspoň aktívnej účasti počas semestra.
Plán cvičení
- Úvodné slovo k Petriho sieťam.
- Definície, Spustiteľnosť. (stavová rovnica, rovnica spustiteľnosti)
- Graf dosiahnuteľnosti.
- Strom pokrytia.
- Živosť PS.
- Test 1. ( tba)
- Invarianty.
- Syntéza PS.
- Workflow siete.
- Test 2. ( tba)
