This scheme eliminates the possibility of deadlock (the system can always advance to a different state) but still suffers from the problem of livelock.
Táto schéma eliminuje možnosť deadlock-u (systém sa vždy môže dostať do iného stavu), ale stále trpí problémom livelock-u.