计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 250-253.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 为实现自动小车存取系统的实时控制，基于双重着色赋时Petri网（Colored Timed Petri Nets，CTPN）构建了RGVs系统（Rail—Guided Vehicles system，RGVs）的动态模型。同时为了提高RGVs系统的存储效率，对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路（环路链）死锁的状况，提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。
关键词: 自动小车存取系统 RGVs系统 环路死锁 Petri网
Abstract: 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 add
Key words: Autonomous vehicle storage and retrieval systems, Rail-guided vehicles systems, Cycle-deadlock, Petri nets
. 基于Petri网的RGVs系统中环路死锁研究[J]. 计算机科学, 2009, 36(4): 250-253. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I4/250
Cited
首页