自动化仓库输送调度问题的建模与控制研究  

Research on Modeling and Control for Transporting Process Scheduling Problem of an Automated Warehouse

作　　者：田国会[1] 

机构地区：[1]山东大学控制科学与工程学院,山东济南250061

出　　处：《控制与决策》2001年第4期447-451,共5页Control and Decision

基　　金：中国博士后基金项目 ;山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)

摘　　要：基于面向对象着色 Petri网模型和时态逻辑方法 ,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色 Petri网模型 ,讨论了该过程的死锁分析问题 ,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。The scheduling problem of the running process of transporting system in an automated warehouse is studied using the object-oriented colored Petri nets model and the temporal logic method. The process is modeled with object-oriented colored Petri nets. The deadlock analysis problem is discussed, and its specification with temporal logic and the maximum permissive feedback control strategy for deadlock avoidance are presented.

关 键 词：自动化仓库 输送系统 离散事件动态系统 PETRI网 建模 调度 

分 类 号：O225[理学—运筹学与控制论] TP271.8[理学—数学]