初始状态 状态机视图 assign to subscription timed out 状态 Available lock Locked Sold Inoc k 转换 exchange 触发器事件状态机视图 timed out lock unlock buy 状态 转换 exchange Available Locked Sold 初始状态 assign to subscription 触发器事件