ok, now i guess i understood you better. that should mean however that it doesn’t matter whether “entry” signals are placed before a loop or at the beginning of it, gridlock could happen in both situations. in that case only “exit” signals shall be used.
