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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:kary_yeah
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Timed Petri Nets,CTPN)构建了RGVs系统(Rail—Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。
其他文献
目的 本研究在腰硬联合麻醉腹部手术患者麻醉前使用盐酸戊乙奎醚,对患者的血液动力学及牵拉反应进行分析,从盐酸戊乙奎醚对患者血液动力和牵拉反应等的影响.方法 选取2013年1
该文以柏拉图为工具,对某产品多个批次的全部故障数据进行归纳、分析,找出导致该产品故障率的主要成因。该示例旨在体现质量统计学在现代质量管理中的重要性,其可充分利用相
本文从信息经济学的角度出发 ,分析了实物期权价值的根本来源 :其所获取的更多的信息及其加工信息的方式。本文还指出了实物期权方法的局限性 ,并建立了选择实物期权方法的数
<正>细菌生物膜(bacterial biofilms,BBF)是指正常菌群与上皮细胞表面受体结合而黏附,并分泌胞外多糖聚合物,使细菌以非常精细的方式相互粘连,形成的膜状物,能发挥屏障和占位
本文重点研究了邓小平的经济政策创新思想,这是邓小平政策创新的核心。具体来说,表现在六个方面:一是经济中心论;二是自名黑猫论;三是改革开放论;四是市场取向论;五是科学技术论;六是
短时交通流量具有非线性、随机性等特点,如何准确地进行短时交通流量预测,是智能交通系统研究的一项关键内容。传统的预测模型不能实时反映短时交通流量变化特点,同时BP神经
基于MVC框架的新媒体平台开发,已经成为现代J2EE开发中一种常用模式。为深入开展气象新媒体公众服务产品研发和平台应用,通过“模型视图控制器”设计典范,设计支撑新媒体公众
细胞有丝分裂与减数分裂的内容是高中生物学教材的重点和难点之一,学生掌握得好,会对相关知识结构产生正迁移,有利于知识的融会贯通;否则,将会产生负迁移,相互干扰,混淆不清.
应用计量经济学相关性分析、时间序列格兰杰(Granger)因果检验和统计概率分析对郑州白糖期货和纽约白糖期货、郑州白糖期货和南宁白糖现货价格相关性和相互引导关系进行了分