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

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

基于面向对象着色 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.