- Si, es correcto
- ¿En que caso te parece que afecta la semántica del monitor? Los procedimientos endDescargar y endLlenar hacen el signal al final por lo que no puede ejecutar otro que el inspector si es despertado ahí.
- La letra no dice nada sobre las prioridades de las otras dos máquinas así que cualquier solución está bien.