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

摘要

为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Timed Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型.同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略.并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法.最后基于VC.NET验证其有效性.