¿Para qué sirve el PIN?

El PIN (junto con el ID de usuario) sirve para poder tener acceso y utilizar las máquinas de autopréstamo de la Biblioteca.