[DUS | Cvičenie] 9 - Workflow siete

Zhrnutie prednášky

Cvičenie sa venuje workflow sieťam, nadväzujúcim na predošlé dve prednášky, pričom sa zopakúvajú formálne podmienky, ktoré musí sieť spĺňať, aby bola workflow sieťou - existencia jedného vstupného a jedného výstupného miesta bez vstupných, resp. výstupných hrán, počiatočné značkovanie s jedinou značkou vo vstupnom mieste a požiadavka, že z každého dosiahnuteľného značkovania sa dá dôjsť do stavu s jedinou značkou vo výstupnom mieste. Vysvetlenie je demonštrované na analógii s prípravou obeda, kde paralelné aktivity musia vždy viesť k úspešnému ukončeniu bez uviaznutia. Na konkrétnych príkladoch sieti (dostupných aj ako XML súbory na stiahnutie) sa rozoberá, prečo daná sieť workflow sieťou je alebo nie je, vrátane prípadov s nesprávne umiestneným tokenom alebo deadlockom. Zdôrazňuje sa, že overenie korektnosti workflow siete sa robí pomocou grafu dosiahnuteľnosti, ktorému sa venuje hlavná časť cvičenia. Organizačne odznelo info o bonusovom zadaní, kontrolnom programe na výstupy a možnom presunutí zápočtovej písomky o týždeň skôr formou hlasovania.

• - Workflow sieť musí mať jedno vstupné miesto (bez vstupných hrán) a jedno výstupné miesto (bez výstupných hrán).
• - Počiatočné značkovanie obsahuje práve jednu značku, a to výlučne vo vstupnom mieste.
• - Z každého dosiahnuteľného značkovania musí byť dosiahnuteľné značkovanie s jednou značkou len vo výstupnom mieste (žiadny deadlock).
• - Prechod, ktorý sa nikdy nedá spustiť, nemusí porušovať vlastnosti workflow siete, ak sa dá vždy dôjsť do koncového stavu inou cestou.
• - Korektnosť workflow siete sa overuje pomocou grafu dosiahnuteľnosti.
• - Analógia s prípravou obeda ilustruje paralelné aktivity a nutnosť vždy dôjsť do koncového stavu bez zaseknutia.
• - Organizačne: bonusové zadanie, kontrolný program na výstupy a hlasovanie o presune zápočtu na 10. týždeň.

Zhrnutie pripravené s pomocou AI z prepisu videa.