基于petri网的rgvs系统中环路死锁研究

为实现自动小车存取系统的实时控制，基于双重着色赋时petri网（coloredtimedpetrinets，ctpn）构建了rgvs系统（rail—guidedvehiclessystem，rgvs）的动态模型。同时为了提高rgvs系统的存储效率，对rgv小车采用基于最短路径的调度策略。并针对rgvs系统的临界状态即将发生环路（环路链）死锁的状况，提出了一种死锁预防的方法。最后基于vc.net验证其有效性。