[MSUS | Prednáška] 9 - Možnosti využitia hrán

Zhrnutie prednášky

Prednáška sa venuje pokročilým vlastnostiam jazyka PetriFlow, konkrétne správaniu prechodov, taskov a rôznych typov hrán (obyčajné, reset, inhibítorové, read). Vysvetľuje sa, že task v PetriFlow je objekt s vlastnou semantikou, ktorý vzniká až po splnení podmienky spustiteľnosti prechodu a zaniká pri jeho ukončení, pričom sa diskutuje o možnosti, či by task nemal existovať trvalo so stavmi enabled, disabled a in progress. Rieši sa aj problém autokonkurencie, ktorú PetriFlow na rozdiel od klasických Petriho sietí zakazuje, a preto stav siete nie je určený len značkovaním, ale aj informáciou o tom, ktoré prechody sú práve aktívne. Na praktickom príklade s formulárom sa demonštruje neintuitívne správanie funkcie Cancel, kde sa zmenené dátové premenné napriek zrušeniu úlohy uložia, čo autori označujú ako potenciálny priestor na zlepšenie jazyka, napríklad zavedením kopírovania dát namiesto priamej referencie.

• - Organizačné info: druhé zadanie treba odovzdať do 9. januára, výsledky budú v priebehu januára
• - PetriFlow rozlišuje obyčajné, reset, inhibítorové a read hrany
• - Task v PetriFlow je objekt existujúci len počas aktívnosti prechodu (nie od začiatku inštancie)
• - PetriFlow explicitne zakazuje autokonkurenciu prechodov na rozdiel od klasických Petriho sietí
• - Stav PetriFlow siete nie je určený len značkovaním, ale aj informáciou o aktívnosti prechodov
• - Demonštrácia problému: funkcia Cancel neresetuje zmenené hodnoty vo formulári, hoci by sa to očakávalo
• - Diskutovaná možnosť zavedenia kópie dátových referencií namiesto priamej väzby na premenné procesu

Zhrnutie pripravené s pomocou AI z prepisu videa.