| 自动化仓库输送调度问题的建模与控制研究 |
| |
| 引用本文： | 田国会.自动化仓库输送调度问题的建模与控制研究[J].控制与决策,2001,16(4):447-451. |
| |
| 作者姓名： | 田国会 |
| |
| 作者单位： | 山东大学控制科学与工程学院 |
| |
| 基金项目： | 中国博士后基金项目，山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1) |
| |
| 摘 要： | 基于面向对象着色Petri网模型和时态逻辑方法，对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色Petri网模型，讨论了该过程的死锁分析问题，给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。
|
| 关 键 词： | 自动化仓库 输送系统 离散事件动态系统 Petri网 建模 调度 |
| 文章编号： | 1001-0920(2001)04-0447-05 |
| 修稿时间： | 2000年7月24日 |
Research on Modeling and Control for Transporting Process Scheduling Problem of an Automated Warehouse |
| |
| TIAN Guo,hui.Research on Modeling and Control for Transporting Process Scheduling Problem of an Automated Warehouse[J].Control and Decision,2001,16(4):447-451. |
| |
| Authors: | TIAN Guo hui |
| |
| Abstract: | 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 maximally permissive feedback control strategy for deadlock avoidance are presented. |
| |
| Keywords: | automated warehouse transporting system discrete event dynamic systems temporal logic Petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《控制与决策》浏览原始摘要信息 |
|
点击此处可从《控制与决策》下载全文 |
