public void temporizacion()         
     {
         /* min (event_list()) */    
         if (event_list.getA() <= event_list.getL() && event_list.getA() <= event_list.getS() && event_list.getA() <= event_list.getR()){         
             clock = event_list.getA();           
         }else if (event_list.getL() <= event_list.getA() && event_list.getL() <= event_list.getS() && event_list.getL() <= event_list.getR()){           
             clock = event_list.getL();        
         }else if (event_list.getS() <= event_list.getA() && event_list.getS() <= event_list.getL() && event_list.getS() <= event_list.getR()){         
             clock = event_list.getS();   
         }else{   
             clock = event_list.getR();    
         }  
     }