File content as of revision 28:b0712ef984de:

#include "mbed.h" //librería que nos permite utilizar comandos y sentencias propias de mbed
Serial com1(USBTX, USBRX);
DigitalOut rojo(LED1);
DigitalOut verde(LED2);


void alto() {
    rojo = 0;
    verde = 1;
    wait(5);
}

void preventivo() {
    rojo = 0;
    verde = 0;
    wait(1);
}

void siga() {
    rojo = 1;
    verde = 0;
    wait(3);
}

void parpadealto(){
    rojo=0;
    wait(.3);
    rojo=1;
    wait(.3);}

void parpadeopreventivo(){
    rojo=0;
    verde=0;
    wait(.2);
    rojo=1;
    verde=1;
    wait(.2);}
    
void parpadeoverde(){
    verde=0;
    wait(.3);
    verde=1;
    wait(.3);}

int main() {
    
    while(1) 
    {
    alto();
    parpadealto();
    parpadealto();
    preventivo();
    parpadeopreventivo();
    parpadeopreventivo();
    siga();
    parpadeoverde();
    parpadeoverde();
    }
    
}