Semáforo Arduino con Pulsador

// -------------------------------------------------------------
//  Proyecto:   PB2 - Semáforo Arduino con Pulsador
//  Autor:      LabRob (Jose Delgado)
//  Fecha:      Octubre 2019
//  Explicacion:
//              Enceder secuencialmente un led rojo, led
//              amarillo y led verde conforme presionemos
//              un pulsador.              
// -------------------------------------------------------------

// ================================================
// Declaraciones, Constantes, Variables ...
// ================================================
const int led_rojo_PIN = 9;       // Asignamos a la constante led_rojo_PIN el valor 9
const int led_amarillo_PIN = 10;  // Asignamos a la constante led_amarillo_PIN el valor 10
const int led_verde_PIN = 11;     // Asignamos a la constante led_verde_PIN el valor 11

const int pulsador_PIN = 2;       // Asignamos a la constante pulsador_PIN el valor 4

int led_encendido = 0;            // 0 Led Encendido --> Ninguno
                                  // 1 Led Encendido --> Rojo
                                  // 2 Led Encendido --> Amarillo
                                  // 3 Led Encendido --> Verde

// ================================================
// Modulo Inicializacion y Configuracion
// ================================================
void setup()
{
  pinMode(led_rojo_PIN , OUTPUT);     // Definimos el PIN del Led Rojo como SALIDA
  pinMode(led_amarillo_PIN , OUTPUT); // Definimos el PIN del Led Amarillo como SALIDA
  pinMode(led_verde_PIN , OUTPUT);    // Definimos el PIN del Led Verde como SALIDA

  digitalWrite(led_rojo_PIN, LOW);    // Inicialmente apagamos todos los leds
  digitalWrite(led_amarillo_PIN, LOW);
  digitalWrite(led_verde_PIN, LOW);
  
  pinMode(pulsador_PIN, INPUT);       // Definimos el PIN del Pulsador como ENTRADA
}

// ================================================
// Bucle Programa
// ================================================                 
void loop()
{
  while (digitalRead(pulsador_PIN) == LOW);  // No hacemos nada mientras no se presiona el Pulsador
  
  // Hemos llegado aqui porque se ha presionado el Pulsador
  // Asignamos el Led que le toca encenderse de forma secuencial y cíclica
  // Si el Led encendido es el Verde (3) pasamos a encender el Rojo (1)
  if (led_encendido == 3){
    led_encendido = 1;
  }
  else{
    led_encendido = led_encendido + 1;
  }

  // Encendemos el Led Rojo y apagamos el Amarillo y el Verde
  if (led_encendido == 1) {
    digitalWrite(led_rojo_PIN, HIGH);  
    digitalWrite(led_amarillo_PIN, LOW);
    digitalWrite(led_verde_PIN, LOW);   
  }

  // Encendemos el Led Amarillo y apagamos el Rojo y el Verde
  if (led_encendido == 2) {
    digitalWrite(led_rojo_PIN, LOW);   
    digitalWrite(led_amarillo_PIN, HIGH);
    digitalWrite(led_verde_PIN, LOW);  
  }

  // Encendemos el Led Verde y apagamos el Rojo y el Amarillo
  if (led_encendido == 3) {
    digitalWrite(led_rojo_PIN, LOW);   
    digitalWrite(led_amarillo_PIN, LOW);
    digitalWrite(led_verde_PIN, HIGH);  
  }
  
  while (digitalRead(pulsador_PIN) == HIGH);   // Si el Pulsador sigue presionado no continuamos
                                               // Cuando el Pulsador no está presionado seguimos con el Bucle Pincipal
}