| 基于Petri网的RGVs系统中环路死锁研究 |
| |
| 引用本文： | 吴长庆,罗键,陈火国,庄进发,彭彦卿.基于Petri网的RGVs系统中环路死锁研究[J].计算机科学,2009,36(4):250-253. |
| |
| 作者姓名： | 吴长庆 罗键 陈火国 庄进发 彭彦卿 |
| |
| 作者单位： | 厦门大学信息科学与技术学院,厦门,361005 |
| |
| 基金项目： | 厦门大学面向21世纪教育振兴行动计划（985计划）信息创新平台项目 |
| |
| 摘 要： | 为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Timed Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型.同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略.并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法.最后基于VC.NET验证其有效性.
|
| 关 键 词： | 自动小车存取系统 RGVs系统 环路死锁 Petri网 |
| 收稿时间： | 2008/5/13 0:00:00 |
Cycle-deadlock Control of Rail Guided Vehicles Systems via Petri Nets |
| |
| WU Chang-qing,LUO Jian,CHEN Huo-guo,ZHUANG Jin-fa,PENG Yan-qing.Cycle-deadlock Control of Rail Guided Vehicles Systems via Petri Nets[J].Computer Science,2009,36(4):250-253. |
| |
| Authors: | WU Chang-qing LUO Jian CHEN Huo-guo ZHUANG Jin-fa PENG Yan-qing |
| |
| Affiliation: | School of Information Science and Technology;Xiamen University;Xiamen 361005;China |
| |
| 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 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. |
| |
| Keywords: | Autonomous vehicle storage and retrieval systems Rail-guided vehicles systems Cycle-deadlock Petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
