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

摘要：

基于面向对象着色Petri网模型和时态逻辑方法,对自动化仓库输送系统运行过程的调度问题进行研究.建立了系统的面向对象着色Petri网模型,讨论了该过程的死锁分析问题,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略.

关键词：自动化仓库、输送系统、离散事件动态系统、时态逻辑、Petri网

所属期刊栏目：16

分类号：O158(代数、数论、组合理论)

资助基金：中国博士后科学基金;山东省自然科学基金Z2000G01

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：447-451