Doppio semaforo con chiamata pedoni

                       /*DOPPIO SEMAFORO CON PULSANTE*/
                       //CAIAZZO ROMANO e SQUILLACE 3Ai
                       
#include "mbed.h"           //inclusione librerie mbed

DigitalOut r_m(D12);     //LED ROSSO MACCHINE
DigitalOut g_m(D10);     //LED GIALLO MACCHINE
DigitalOut v_m(D9);      //LED VERDE MACCHINE

DigitalOut r_p(D2);      //LED ROSSO PEDONI
DigitalOut g_p(D4);      //LED GIALLO PEDONI
DigitalOut v_p(D6);      //LED VERDE PEDONI

DigitalIn button(D3);    //BOTTONE PEDONI   \\(USER_BUTTON)=>BOTTONE di DEFAULT

int main() {       //ESEGUI:    
while(1){  //loop:
          //ACCENDI VERDE MACCHINE
 r_m=0; 
 g_m=0; 
 v_m=1; 
         //ACCENDI ROSSO PEDONI
 r_p=1;
 g_p=0;
 v_p=0;
    if(button==1){ //QUANDO IL BOTTONE VIENE PREMUTO:
               
            v_m=0;  //SPEGNI VERDE MACCHINA
            r_p=0;  //SPEGNI ROSSO PEDONE
            
            wait(1.0);  //ASPETTA 
            
            g_m=1;  //ACCENDI GIALLO MACCHINA
            
            wait(2);  //ASPETTA
            
            r_m=1;  //ACCENDI ROSSO MACCHINA
            g_m=0;  //SPEGNI GIALLO MACCHINA
            g_p=1;  //ACCENDI GIALLO PEDONI
            
            wait(1.5);  //ASPETTA
            
            v_p=1;  //ACCENDI VERDE PEDONE
            g_p=0;  //SPEGNI GIALLO PEDONE
            
            wait(7);   //ASPETTA
    }
 }
}