Organizácia predmetu
Predmet je členený do nasledujúcich aktivít:
- Prednášky: 2 hodiny týždenne podľa rozvrhu: Streda 13:00 – 14:40
- Cvičenie: 2 hodiny týždenne podľa rozvrhu: Utorok 10:00 – 11:40, 12:00 – 13:40, 14:00 – 15:40
- Samostatné domáce štúdium
Konzultácie:
Dohodou (na prednáške/emailom/Discord)
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
Semestrové body (40): \( max ( min(t1+t2+bb+ot,20), t1+t2+bb) )\)
Skúškové body (60): \( max ( min(t1+t2+bb+ot,20), t+bb) ) + pb + sk \)
t1 a t2 sú testy počas semestra, bb sú bonusové body počas semestra, ot je opravný test, 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ň 20-tich bodov 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.
- Invarianty.
- Syntéza PS.
- Test 2.
- Workflow siete.
