山东大学 控制科学与工程学院, 山东 济南, 250061
基于面向对象着色 Petri网模型和时态逻辑方法, 对自动化仓库输送系统运行过程的调度问题 进行研究。 建立了系统的面向对象着色Petri网模型, 讨论了该过程的死锁分析问题, 给出了系统行为的 时态逻辑规范和死锁避免的最大允许反馈控制策略。
田国会.自动化仓库输送调度问题的建模与控制研究[J].控制与决策,2001,16(4):447-451