Řešení systému semaforu