[DUS | Prednáška] 12 - Workflow siete

Zhrnutie prednášky

Prednáška sa venuje podtriede Petriho sietí nazývanej workflow siete, ktoré majú práve jedno vstupné miesto (IN) a práve jedno výstupné miesto (OUT), pričom na začiatku je jedna značka vo vstupnom mieste a inde žiadna. Na ilustratívnom príklade cloudového systému spracovania výpočtových úloh (príchod úlohy, pridelenie pamäte a procesora, výpočet, uvoľnenie zdrojov, ukončenie) sa vysvetľuje modelovanie reálnych procesov pomocou tejto triedy sietí. Kľúčovým pojmom je korektnosť (sound) workflow siete, definovaná dvoma podmienkami: z každého dosiahnuteľného značkovania musí byť dosiahnuteľné koncové značkovanie (jedna značka v OUT, inde nula), a zároveň toto koncové značkovanie musí byť jediným dosiahnuteľným značkovaním s nenulovým počtom značiek v OUT. Na dvoch protipríkladoch sa demonštruje porušenie prvej, respektíve druhej podmienky korektnosti. Na záver sa uvádza tvrdenie, že korektná workflow sieť je vždy ohraničená, so skicou dôkazu sporom využívajúcou vlastnosti grafu dosiahnuteľnosti.

• - Workflow sieť má práve jedno vstupné miesto (IN) a práve jedno výstupné miesto (OUT).
• - Počiatočné značkovanie: jedna značka v IN, všade inde nula značiek.
• - Ilustratívny príklad: cloudový systém spracovania výpočtových úloh (príchod, pridelenie zdrojov, výpočet, uvoľnenie, ukončenie).
• - Korektnosť (soundness) = korektné dosiahnuteľné koncové značkovanie (jedna značka v OUT, inde nula) je dosiahnuteľné z každého dosiahnuteľného značkovania.
• - Druhá podmienka korektnosti: koncové značkovanie s nenulovým počtom značiek v OUT musí byť jediné dosiahnuteľné takéto značkovanie.
• - Ukázané dva typy protipríkladov nekorektných workflow sietí – nedosiahnuteľnosť koncového stavu a existencia viacerých značkovaní s tokenom v OUT.
• - Korektná workflow sieť je vždy ohraničená (má konečný počet dosiahnuteľných značkovaní), s náčrtom dôkazu sporom.

Zhrnutie pripravené s pomocou AI z prepisu videa.