[DUS | Cvičenie] 10 - Syntéza

Zhrnutie prednášky

Cvičenie sa venuje syntéze Petriho sietí z logov (process mining), pričom nadväzuje na prednášku o rozdiele medzi process miningom a syntézou. Vysvetľuje sa princíp, kedy sa začína zo sady prechodov bez obmedzení a postupne sa pridávajú miesta s váhami hrán a počiatočným značkovaním, ktoré sú neznámymi v sústave nerovníc. Na príklade siete s prechodmi ako paper order, payment request, subscription či paper download sa demonštruje, že zostrojená sieť umožňuje spustiť práve tie postupnosti (trace), ktoré boli zaznamenané v logu, a žiadne iné. Zdôrazňuje sa komutatívnosť zmien značkovania pri rôznom poradí rovnakých prechodov a potreba, aby výsledná sieť mala čo najmenšie nadbytočné správanie. Spomína sa aj existencia súťaží v process miningu a možnosť riešiť sústavy nerovníc pomocou solverov alebo vlastného programu.

• - Organizačné info: druhá zápočtová písomka sa posúva na 13. týždeň, zahrnie invarianty T a P aj syntézu
• - Process mining vs. syntéza: rozdiel v prístupe komunít, existencia súťaží (process mining contest)
• - Princíp syntézy: začína sa s prechodmi bez miest, postupne sa pridávajú miesta a hrany na obmedzenie správania
• - Neznáme v sústave nerovníc: počiatočné značkovanie miest a váhy hrán medzi miestami a prechodmi
• - Demonštrácia na príklade siete (paper order, payment request, subscription, paper download) overujúca spustiteľnosť zaznamenaných postupností
• - Komutatívnosť zmien značkovania pri rôznom poradí rovnakých prechodov vedie do rovnakého stavu
• - Cieľ syntézy: sieť s najmenším možným nadbytočným (pokrývajúcim) správaním nad rámec zaznamenaných tracov
• - Praktické riešenie sústav nerovníc pomocou solverov alebo vlastného programu, nie manuálne na cvičení

Zhrnutie pripravené s pomocou AI z prepisu videa.