[DUS | Cvičenie] 8 - Syntéza PS (Process Mining)

Zhrnutie prednášky

Cvičenie sa venuje syntéze Petriho sietí pomocou process miningu, teda vytváraniu modelu systému na základe pozorovaných postupností spúšťania prechodov bez znalosti vnútorných stavov (miest). Vysvetľuje sa motivácia témy – možnosť následnej analýzy vytvoreného modelu, napríklad odhaľovania deadlockov či neželaných dosiahnuteľných stavov, ktoré vznikajú napríklad chybnou implementáciou pôvodnej špecifikácie. Hlavným postupom je zostavenie sústavy nerovníc pre každé miesto siete, kde neznámymi sú počiatočné značkovanie miesta a váhy vstupných a výstupných hrán medzi miestom a jednotlivými prechodmi. Sústava sa skladá z dvoch typov podmienok: prvá zabezpečuje, že všetky pozorované postupnosti prechodov musia byť v sieti spustiteľné (vrátane všetkých ich prefixov), druhá zabezpečuje, že žiadne iné, nepozorované postupnosti spustiteľné nebudú. Na úvod cvičenia sú tiež organizačné informácie o termíne druhej zápočtovej písomky a zverejnení bonusového zadania viažuceho sa na túto tému.

• - Cieľom je syntetizovať Petriho sieť na základe pozorovaných postupností spúšťania prechodov (process mining).
• - Model sa vytvára z logu nezávislých pozorovaní systému bez priamej znalosti stavov (miest).
• - Syntetizovaný model umožňuje následnú analýzu, napríklad detekciu deadlockov a nedosiahnuteľných/neželaných stavov.
• - Neznáme v úlohe sú počiatočné značkovanie miesta a váhy vstupných a výstupných hrán k jednotlivým prechodom.
• - Sústava nerovníc má dve časti: zabezpečenie spustiteľnosti pozorovaných postupností a zákaz spustiteľnosti nepozorovaných postupností.
• - Podmienka spustiteľnosti prechodu vychádza z toho, že počiatočné značkovanie miesta musí byť aspoň také veľké ako počet spotrebovaných značiek.
• - Bonusové zadanie sa priamo viaže na túto tému a bude zverejnené najbližší víkend.

Zhrnutie pripravené s pomocou AI z prepisu videa.