基于Petri网结构分析的死锁避免控制研究

来源 :南京理工大学学报 | 被引量 : 0次 | 上传用户:magicMan555
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文基于Petri网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Petri网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。
其他文献
基于多孔颗粒在未活化区和活化区的不同的反应机理,本文提出的模型使流体中反应颗粒内部的温度场和浓度场的连续计算成为可能。计算结果反映了温度分布和浓度分布对颗粒反应
用差热分析,X射线衍射,冲击法等方法研究了铁基非晶Fe72.5,Cu1Nb2V2SI13.5B9合金及其经不同温度退火处理后材料的结构和磁性。结果表明,合金经350℃退火,结构短程有序范围扩大,材料磁化比非晶合金容易;经520-560℃退火
什么是档案?不知道。什么是档案工作?不清楚。三十年前,我—一个刚从学校毕业的大学生,就这样走进了陌生的档案工作和决定我终身而为之奋斗的事业。曾记得,1982年1月我毕业被分
在微光图象处理中,中值滤波法既能有效地抑制图象中的雪花噪声,同时对图象边缘、细节又具有很好的保护特性。该文研究给出了一种既简便快速又易于硬件实现的中值滤波算法,称之为
全省“富民惠民,改善民生”作风建设活动开展以来。南充市档案局(馆)及各县(市、区)档案局(馆),围绕“档案工作如何进一步贴近人民群众,更好地服务老百姓”的主题,深入展开大讨论,使干部
3月29日,四川省省级机关档案工作协作组组长会议在成都召开,10个档案协作组正副组长及组长单位办公室领导参加了会议。会议总结了省级机关2006年的档案工作,对2007年的主要工作
武训(1838—1896),山东堂邑柳林镇武庄(今属山东冠县)人,是一位以行乞兴学而闻名于世的平民教育家。清朝末年,他以行乞集资的方式,兴办了堂邑柳林(今属冠县)“崇贤义塾”、馆陶杨二庄(今
体视是利用投影理论得到立体视觉的一种方法。作为获得立体视觉的体视与计算机图形理论的结合,使体视这个古老投影理论的价值在现代计算机的应用领域得到体现。该文设计的系统挖掘出体视理论的应用潜力,为获得计算机立体视觉提供方便、实用、价廉的方法。该文阐述了生成体视图交互式系统的设计思想,并对体视的图形变换表达式进行了较深入的讨论,使系统的实施成为可能。关键词计算机图形学,立体视觉,投影变换;体视
随着修形渐开螺旋面齿轮副应用范围的增加,修形渐开螺旋面的成形加工方法、精度及表面质量愈来愈受到人们的重视。本文以接触线原理,推导出任意修形渐开螺旋面成形刀具廓形解
该文为作者在全省档案工作会上的讲话摘要,文章提出2005年我省档案工作应该围绕党和政府的中心工作,沿着把我省建设成为西部档案强省的发展思路,从八个方面作好工作。