Ну хорошо, выяснилия что для Васи который едет прямо запрещающий. А вот для Пети который поворачивает каким пунктом ПДД он относится? читаем дальше пдд:6.3. Сигналы светофора, выполненные в виде стрелок красного, желтого и зеленого цветов, имеют то же значение, что и круглые сигналы соответствующего цвета, но их действие распространяется только на направление (направления), указываемое стрелками. При этом стрелка, разрешающая поворот налево, разрешает и разворот, если это не запрещено соответствующим дорожным знаком. И опа! Для Пети красный не относится. Нет его. Для него есть стрелка. И для его горит зеленый, ну пусть со стрелкой. Стрелка вас не должна смущать.