This is a basic set of traffic lights with a pedestrian crossing, of the type you typically find in the UK. The traffic lights change automatically, the cycle is interrupted after the crossing button is pressed on the next occasion that the traffic lights turn red.
The scripts and sprites were created by me. Anyone is welcome to use them as they like in any of their projects. This is a stepping stone to test out code for a future Raspberry Pi project, where the traffic lights and crossing buttons will be made out of real LEDs and pushbuttons.