vWorkspace 8.01 Logon Failure

Sometimes we get VDI machines in 'Logon Failure' modus after 3 failed logon attemps.

What is the procedure after the VDI machines are placed in 'Logon Failure' modus? Is it reprovisioned?

Because sometimes I see it available in the 'normal' pool again.

Thanks,

Hilbert