基于Petri网的RGVs系统中环路死锁研究  

Cycle-deadlock Control of Rail Guided Vehicles Systems via Petri Nets

作　　者：吴长庆[1] 罗键[1] 陈火国[1] 庄进发[1] 彭彦卿[1] 

机构地区：[1]厦门大学信息科学与技术学院,厦门361005

出　　处：《计算机科学》2009年第4期250-253,260,共5页Computer Science

基　　金：厦门大学985二期信息创新平台项目资助

摘　　要：为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Ti med Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。In order to implement the real time control of the Rail-Guided Vehicles systems, a deadlock control modeling method via Dual Colored Timed Petri Nets was proposed. Moreover, the scheduling strategy for the RGVs system based on shortest path method was addressed to improve the efficiency of storage and retrieval. Then, the critical state in deadlock free was identified and FCFS policy was applied to solve it. Finally, experimental results verified the effectiveness of the policies.

关 键 词：自动小车存取系统 RGVs系统 环路死锁 PETRI网 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]