Exclusión Mutua

Visualización en detalle del problema del módem y el fax.

RESUMEN

Siempre que necesitemos modelar que en un sitio puede haber como máximo N tokens, se debe modelar con otro sitio que proteja al sitio en cuestión y esté inicializado con N tokens.

Para pensar...

¿Cómo modelaría el funcionamiento de un estacionamiento donde pueden entrar como máximo 5 autos? Cuando sale un auto, libera el lugar a otro que quiera ingresar.