“ATM控制”的状态图：“验证PIN码用例”