Un edificio di N piani possiede un ascensore capace di accogliere un numero infinito di passeggeri, ognuno dei qu8ali può richiedere di essere trasportato da un piano all’altro usufruendo dell’ascensore. Per penalizzare quanto meno possibile il servizio, l’ascensore tende a mantenere il proprio verso di movimento (verso l’alto o verso il basso), fino a giungere a fine corsa. I passeggeri si comportano come segue:

SI implementi una soluzione in termini di processi e semafori sviluppando uno pseudo linguaggio le procedure per i passeggeri e per l’ascensore.

Per semplicità

...

Ripetere l’esercizio precedente con il vincolo ulteriore: