concurrencia - semaforo - investigadores

Cola int espera;
Sem cola = 1;
Sem maq_libre = 1;
Sem colaInv[0..9] = 0;
process investigador[0..99]
{
  P(cola);
  espera.push(i); //me pongo en espera
  V(cola);
  P(maq_libre); //si la maquina esta libre
  P(cola);
  V(colaInv[espera.pop()]); //dejo pasar al que sigue
  V(cola);
  P(colaInv[i]); // si soy el que sigue paso
  usarMaquina();
  V(maq_libre); //libero maquina
}