摘要
基于面向对象着色 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.
出处
《控制与决策》
EI
CSCD
北大核心
2001年第4期447-451,共5页
Control and Decision
基金
中国博士后基金项目
山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)