Try to replace semaphores by Transitions but we are mad