secondo me devi fare un test da eseguire subito dopo la prenotazione.

del tipo:

prenota>

se la pensione è libera > prenotazione effettuata con successo (aggiorna la pensione come occupata);

altrimenti > pensione occupata, scegli un'altra pensione;

ho scritto un po' male non so se ho reso l'idea...!