[MSUS | Prednáška] 2 - Úvod do jazyka Petriflow, Procesné dáta

Zhrnutie prednášky

Prednáška nadväzuje na úvod do Petriho sietí a demonštruje ich základné princípy priamo v modelovacom nástroji Application Builder – vytváranie miest a prechodov, prepájanie hranami a nastavovanie ich váh (násobnosti). Na príklade chemickej reakcie vzniku vody (2H2 + O2 → 2H2O) je vysvetlený pôvod konceptu Petriho sietí od Carla Adama Petriho a princíp spustiteľnosti prechodu na základe dostatku zdrojov v vstupných miestach. Ďalej sa preberá rozšírenie klasickej teórie Petriho sietí o trvanie prechodu (tasku), ktoré jazyk Petriflow zavádza navyše – teda stav, kedy sa úloha práve vykonáva (in progress) medzi jej spustením a dokončením alebo zrušením (finish/cancel). Tento koncept sa prepája s modelovaním procesov, kde task reprezentuje reálnu úlohu s trvaním, napríklad vyplnenie formulára či spracovanie žiadosti.

• - Opakovanie základov Petriho sietí: miesta, prechody (transície) a hrany.
• - Váha hrany určuje počet potrebných/produkovaných značiek pri spustení prechodu.
• - Viacnásobné hrany s váhou 1 sú ekvivalentné jednej hrane s vyššou váhou.
• - Historický pôvod Petriho sietí – Carl Adam Petri a modelovanie chemických reakcií (napr. syntéza vody).
• - Prechod je spustiteľný len ak je vo vstupných miestach dostatok značiek podľa váh hrán.
• - Jazyk Petriflow rozširuje klasickú teóriu o koncept trvania úlohy (tasku) so stavmi štart, in progress, finish/cancel.
• - Prepojenie modelu s procesnými dátami – úlohy ako vyplnenie formulára alebo schválenie žiadosti.

Zhrnutie pripravené s pomocou AI z prepisu videa.