共享竞争择一资源Petri网的形式化设计方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:chongfengli
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一。以往,自动制造系统的Petri网控制系统器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁。这主要是对共享资源的不适当设计造成的。对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法。本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器…
其他文献
本文介绍一种中心词驱动的汉语语义解释方法,首先讨论语义表达形式,介绍词汇映射规则和结构映射规划,然后讨论如何使用选择性约束,通过调用映射规则进行结构的转。
<正> 一、引言第二次世界大战后至七十年代初,发达国家由于工业化、城市化和现代化,出现了伦敦雾、日本的水侯病和骨痛病、洛杉矶的光化学烟雾等所谓八大公害事件,环境污染日
为了探讨大粒径透水性沥青混合料( LSPM)沥青用量与水稳定性的关系,对不同沥青用量的试件进行了常规浸水马歇尔试验、真空饱水马歇尔试验及冻融劈裂试验。试验结果表明,在理论上
交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:&#
<正> 蒸发器、冷凝器是电冰箱、空调器或冷藏柜的主要部件,近几年国内生产厂家日益增多。在生产过程中,清洗处理是很重要的一道工艺,即:换热器内部管道先经清洗除污,还需注入
“感知-动作”行为(perception-action behavior),又称基于感知行为(sensor-based behavior)的研究是当前人工智能中一项普遍受到重视的课题.本文以移动机器人的自动避障行为
<正> 我科于1985年5月份开始用液氮冷冻治疗鼻出血患者250例,现将有随访资料可查的140例分析总结如下:一、治疗方法:我科采用武汉市医药公司器械修配厂出产 WF—Y81型液氮冷
<正> 我厂属肉类联台加工大中型企业。从一九八一年投产到一九八七年这七年间,设备的运转使用情况一直良好,设备的保养,维修按有关规定正常进行,机器设备未发生任何大的事故
本文提出线性八叉树的一种最优构造算法,本文对文献[3]中最优四叉树构造算法的某些思路作了推广及改进:采用了最大活动结点插入原则,免除了合并操作;算法只需进行与黑结点数
<正> 手持自压式冷冻治疗器是安徽医科大学第一附属医院与合肥康复制药机械厂共同研制生产的低温医疗器械。经实验测试和临床应用表明设计合理,造型美观、体积小、重量轻、操