[DUS | Cvičenie] 10 - Workflow siete 2 + Read, Reset, Inhibitor hrany

Zhrnutie prednášky

Cvičenie nadväzuje na predchádzajúcu tému workflow sietí a ich korektnosti v Petriho sieťach, pričom sa rieši problematika zdieľaných zdrojov medzi paralelnými inštanciami procesov a možnosti uviaznutia (deadlocku) aj v prípade korektných sietí. Vysvetľuje sa koncept statických miest reprezentujúcich zdieľané zdroje a určujúcich miest, ktoré sledujú vypožičiavanie a vracanie značiek jednotlivými inštanciami. Po organizačnej časti (termíny zápočtovej a náhradnej písomky, bonusové zadanie, priebeh skúšania cez kameru) sa cvičenie venuje hlavnej téme podľa názvu — pravdepodobne pokračovaniu workflow sietí a zavedeniu konceptov Read, Reset a Inhibitor hrán ako rozšírení klasických Petriho sietí pre modelovanie zložitejších väzieb medzi prechodmi a miestami.

• - Organizačné informácie: druhá zápočtová písomka o týždeň, opakovacie cvičenie namiesto prednášky v pondelok
• - Bonusové zadanie treba odovzdať do nedele po zápočtovej písomke
• - Plánovaná náhradná písomka v 13. týždni nahrádzajúca horší z dvoch zápočtových výsledkov
• - Workflow siete a ich korektnosť (ohraničenosť, dosiahnuteľnosť koncového stavu)
• - Zdieľané zdroje medzi paralelnými inštanciami procesov a riziko uviaznutia napriek korektnosti jednotlivých sietí
• - Statické a určujúce miesta na sledovanie vypožičiavania a vracania zdrojov
• - Úvod do rozšírení Petriho sietí: Read, Reset a Inhibitor hrany

Zhrnutie pripravené s pomocou AI z prepisu videa.