assigned to 初始状态 time out 状杰 Available k、 Locked lOCI Sold unlock 转换 exchange 触发器事件 状态图状态图 Available Locked Sold 初始状态 assigned to subscription lock time out unlock buy 状态 exchange 转换 触发器事件