旋转货架系统运行过程的时态逻辑描述与分析

？自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过程进行描述与分析,并给出可行的调度控制策略.