%0 Journal Article
%T 旋转货架系统运行过程的时态逻辑描述与分析
%A 田国会
%A 刘长有
%A 徐心和
%J 自动化学报
%P 373-376
%D 1998
%X ？自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过程进行描述与分析,并给出可行的调度控制策略.
%K 离散事件系统
%K 时态逻辑
%K 自动化仓库
%K 旋转货架系统
%U http://www.aas.net.cn/CN/abstract/abstract16871.shtml