1. 首页
  2. 数据库
  3. 其它
  4. 自动化仓库输送调度问题的建模与控制研究

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

上传者: 2021-04-25 03:19:54上传 PDF文件 293.93KB 热度 8次
基于面向对象着色 Petri网模型和时态逻辑方法, 对自动化仓库输送系统运行过程的调度问题 进行研究。 建立了系统的面向对象着色Petri网模型, 讨论了该过程的死锁分析问题, 给出了系统行为的 时态逻辑规范和死锁避免的最大允许反馈控制策略。
下载地址
用户评论