8 IDLE WAITING_CUSTOMER WAITING_CARD_REMOVAL WAITING_CARD_SLIP_REMOVAL CHECKING_CARD WAITING_TO_PUMP PUMPING SHUTDOWN 10 SHUTDOWN CARD_DATA_RECEIVED CARD_REMOVED CARD_AND_SLIP_REMOVED STOP_PUMPING CARD_VALID START_PUMPING CARD_DATA_READ CARD_INVALID RESTART_PUMP SHUTDOWN WAITING_CUSTOMER NULL NULL NULL NULL NULL NULL NULL NULL SHUTDOWN NULL NULL NULL NULL NULL NULL CHECKING_CARD NULL NULL SHUTDOWN NULL IDLE NULL NULL NULL NULL NULL NULL NULL SHUTDOWN NULL NULL IDLE NULL NULL NULL NULL NULL NULL SHUTDOWN NULL NULL NULL NULL WAITING_TO_PUMP NULL NULL WAITING_CARD_REMOVAL NULL SHUTDOWN NULL NULL NULL NULL NULL PUMPING NULL NULL NULL SHUTDOWN NULL NULL NULL WAITING_CARD_SLIP_REMOVAL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL IDLE DISABLE_RECEIVE_CARD_DATA DISABLE_RECEIVE_CARD_DATA ENABLE_CARD_READER NULL NULL NULL NULL NULL NULL NULL NULL DISABLE_CARD_READER NULL NULL NULL NULL NULL NULL DISABLE_CARD_READER TRIGGER_CARD_CHECKER NULL NULL BEEPER_OFF MESSAGE_OFF NULL BEEPER_OFF NULL NULL NULL NULL NULL NULL NULL BEEPER_OFF NULL NULL BEEPER_OFF NULL NULL NULL NULL NULL NULL EJECT_CARD NULL NULL NULL NULL ENABLE_PUMP NULL NULL EJECT_CARD BEEPER_ON DISPLAY_MESSAGE NULL DISABLE_PUMP EJECT_CARD NULL NULL NULL NULL NULL NULL NULL NULL NULL DISABLE_PUMP EJECT_CARD NULL NULL NULL EJECT_CARD EJECT_SLIP DISABLE_PUMP BEEPER_ON NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL NULL CALL_MAINTENANCE