%0 Journal Article
%T 自动化仓库输送调度问题的建模与控制研究
%A 田国会
%J 控制与决策
%P 447-451
%D 2001
%X 基于面向对象着色Petri网模型和时态逻辑方法,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色Petri网模型,讨论了该过程的死锁分析问题,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。
%K 自动化仓库
%K 输送系统
%K 离散事件动态系统
%K 时态逻辑
%K Petri网
%U http://www.kzyjc.net:8080/CN/abstract/abstract11734.shtml