Az oldal cookie-t használ a felhasználói élmény javítása érdekében. Elfogadásával hozzájárul a cookie-k gyűjtéséhez. A cookie-król bővebben: wiki.

PEMIK-KTDT

Kiíró: Dr. Bertók Botond

Folyamatok tervezésénél egyes lépésekről már a tervezés kezdeti fázisában tudható, hogy nem szerepelhetnek együtt egy megoldásban sem. Például fizikai vagy üzemeltetési korlátok miatt. Ennek eredményeként a feladat megoldása során ezen lépéseket kölcsönösen kizáró feltételeket kell kezelnünk. A kölcsönös kizárás azonban szűkíti a keresési teret, így ügyes kihasználása gyorsíthatja a keresés folyamatát. A hallgató feladata olyan algoritmusok és szoftverek kidolgozása, melyek a folyamatszintézis során hatékonyan kihasználják a feladatban meghatározott kölcsönös kizárás típusú feltételeket.