FMS实时控制系统OCPN模型的死锁分析(二)

来源 :机床与液压 | 被引量 : 0次 | 上传用户:chenjung00
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了使FMS实时控制系统OCPN(面向对象的着色Petri网)模型具有可靠性,本文在D' Souza的死锁分析算法基础上,提出了检测通用OPN(面向对象的Petri网)模型和OCPN模型的死锁检测算法;同时利用提出的算法,对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析.通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点.
其他文献
在国外,对家庭作业方面的研究起步较早,且进行了全方位、多视角的研究,取得了丰硕的研究成果,但是也存在一定的不足。与国外研究相比,我国对家庭作业的研究起步明显晚,对家庭
用传统方法求解有复杂载荷作用的传动轴的强度与刚度,需要十分繁重的计算工作量.利用奇异函数描述轴的弯矩方程、扭矩方程和抗弯截面模量方程,推出在任何载荷作用下传动轴所
位于美国Illinois州的Caldwell Group公司提供6种规格的管钳,适合在许多场合应用。直径2~15英寸,起吊载荷可高达1t。该系列管钳坚固耐用,可用于搬运钢管、圆棒、铸件或其他圆形载
根据水压传动的特点,介绍了高压纯水轴向柱塞泵的典型结构,分析了高压纯水轴向柱塞泵技术关键的解决办法.
本文在对ΡБ-211机器人原理进行分析的基础上,设计出基于CAN总线的机器人控制系统,采用上、下位微机结构形式,上位机为管理级,下位机为直接控制级,对单通道进行了仿真,结果
本文对由比例阀和无杆汽缸组成的气动位置系统在线性化的基础上进行了数学建模,对模型引入白噪声干扰,它通过噪声模型作用与对象输出端,并利用Harmmerstein模型模拟了对象的
教科书是核心课程资源,是服务于教学的媒介,对教育教学质量具有重要的影响。冀教版英语教科书中卡通龙Danny在教材中扮演着重要的角色。他是冀教版英语教科书的标志,频繁出现在
本文首先分析了目前市场上银行自动回单机的现状,在此基础上提出了一款新颖的机电一体化产品银行自动回单机的设计方案,并就其软硬件设计作了较详细的介绍.经实际测试验证了
学位与研究生教育,既是一个国家高等教育水平的标志,又是影响教育、科学事业发展的重要因素。我国的学位与研究生教育经历了恢复初建、调整改革、积极发展三个阶段,建立了比较成
目的探讨新式剖宫产术中是否缝合腹膜,对再次开腹手术时间、术中出血及盆腔粘连的影响,以期待新式剖宫产更加完美,避免和减轻并发症的发生。方法对2005年1月~2009年12月曾实行