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

摘要：

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

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

所属期刊栏目：36

分类号：TP273(自动化技术及设备)

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

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：250-253,260