9.5 建模实例：创建自动取款机状态机图