[DUS | Cvičenie] 12 - Workflow siete

Zhrnutie prednášky

Cvičenie sa venuje workflow sieťam nadväzujúcim na prednášku, pričom sú definované ich charakteristické vlastnosti – existencia jediného vstupného miesta bez vstupných hrán a jediného výstupného miesta bez výstupných hrán, pričom počiatočné značkovanie obsahuje token iba vo vstupnom mieste. Vysvetľuje sa pojem korektnosti (sound) workflow siete, ktorá je splnená vtedy, ak sa z každého dosiahnuteľného značkovania dá dostať do stavu s jedným tokenom vo výstupnom mieste a zároveň je toto značkovanie jediné takéto dosiahnuteľné. Na viacerých príkladoch sietí sa demonštruje postup rozhodovania, či daná sieť spĺňa definíciu workflow siete a následne či je sound, vrátane analýzy dosiahnuteľných značkovaní a slučiek v sieti. Na úvod cvičenia sú tiež zhrnuté organizačné informácie o nadchádzajúcej druhej zápočtovej písomke a náhradnom termíne.

• - Workflow sieť má jedno vstupné miesto (bez vstupných hrán) a jedno výstupné miesto (bez výstupných hrán)
• - Počiatočné značkovanie musí obsahovať token výlučne vo vstupnom mieste
• - Sieť je sound (korektná), ak z každého dosiahnuteľného značkovania sa dá dostať do stavu s jedným tokenom vo výstupnom mieste
• - Toto koncové značkovanie musí byť zároveň jediné dosiahnuteľné značkovanie s tokenom vo výstupnom mieste
• - Ak je workflow sieť sound, vyplýva z toho, že je aj ohraničená
• - Na príkladoch sa ukazuje postup overovania workflow vlastností a korektnosti pomocou analýzy prechodov a slučiek v sieti
• - Druhá zápočtová písomka bude 14.12., náhradná kombinovaná písomka 16.10. pre ospravedlnených študentov

Zhrnutie pripravené s pomocou AI z prepisu videa.