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.