Purchasing exit/eject card 子机器引用 终止状态 Identify insert card fail 初始状态 异常出口 正常出口/ reset selection动作 完成转换内部转换 pick(seat)/add to selection (seat) Idle push resume push"buy事件 外部转移中止 内部活动 Confirming push"cancel push "confirm Selling 完成转换 原子动作 entry /sell 0 状态机][状态机]