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