一类Petri网中基本信标的快速求解算法

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:zdnumber
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
柔性制造系统作为一种典型的离散事件系统是Petri网的一个重要应用领域。在柔性制造系统中,由于资源的竞争出现死锁现象。死锁预防是基于信标的一种死锁控制方法。系统中被清空的信标导致死锁发生。理论证明,只要控制住一个系统的基本信标,则整个系统不会发生死锁。基本信标是一类特殊的严格极小信标,它的个数比严格极小信标的个数少得多,并且不会超过网系统的规模。现有的方法中,基本信标是以已知所有的严格极小信标为前提的。但是,一个Petri网中的信标的个数是随着网的规模呈指数增长的。针对一个Petri网子类-S~3PR网,本文提出了一种从部分严格极小信标中求取基本信标的算法。根据S~3PR网的结构特点,一个S~3PR网中的资源回路对应一个信标,在资源回路中不含分支弧的情况下,对应一个严格极小信标。我们将S~3PR网抽象到一个有向资源图中。本工作中提出了补集矩阵的概念,并且理论证明,基本信标是补集矩阵对应的信标空间的一个基。从一个资源回路中,也可以求出对应的严格极小信标的补集。因此,根据图论知识,我们将求解严格极小信标转化成求解有向资源图中的满足一定条件的资源回路。经过大量的例子验证,本文的算法适用于大规模的S~3PR网,用时短,效率高。
其他文献
自动配料系统是一种在线测量动态计量系统,集输送、计量、配料、定量等功能于一体,在冶金、建材、化工、饲料加工等行业中得到广泛应用。设计开发自动配料优化控制系统,对于改善
为了适应频率标准技术的发展,频率标准的测量与比对技术应具有更高的精密度和分辨率。本文在一系列新原理和新方法的基础上对高精度频率测量方法进行了研究。文中以传统的差拍测频法为平台,分别以模拟和数字两种形式实现此方案。其中,模拟方案的时畴稳定度可达到10-13/τ,但线路复杂,且只能用于相同标称值的频标间的比对。数字方案利用相位关系进行信号处理,可用于频率成倍数关系的信号的比对,分别通过TTL电路和EC
电子万能材料试验机是测定材料机械性能的基本设备之一,应用范围广泛。随着试验机技术和微电子技术的快速发展,旧有的试验机测控系统已逐渐不能适应广大用户的测试需求,迫切要求
随着经济的高速发展和城市化的加剧,交通出行越来越成为与国计民生息息相关的重大问题。而解决“行路难”问题的主要手段是推进智能交通建设。在智能交通领域中,实时更新的车流
城市集中供热系统已经成为我国北方冬季供暖的一种主要形式,热网调节技术和计算机控制技术的应用,提高了我国供热调节水平,而预测集中供热系统未来一段时间内的参数变化趋势,
体外抗病毒实验,是筛选和鉴定抗病毒药物的常用方法,而药物抗病毒效果主要是根据细胞的病变程度(病变细胞数量和活细胞数量的比例)来测定。本文主要采用基于机器视觉的方法,对体外
统计过程控制(Statistic Process Control-SPC)控制图作为降低废品率、提高产品质量、增加企业效益的重要工具,正在被越来越多的企业重视和应用。然而实际应用的效果却参差不
本硕士学位论文受上海科委科学技术研究重点项目《节能型三相输配电变压器关键技术研究》(042112062)资助,是该重点项目研究的关键技术之一。目前,我国大多数输配电变压器生产厂仍采用叠积式铁芯制作变压器。对称三角形结构的圆截面卷铁芯三相输配电变压器,是近几年才开发出来的新型节能配电变压器,它的卷铁芯设计与制造技术需要进一步的研究开发和完善。本论文主要对节能型卷铁芯变压器制造系统及车间调度问题进行研
梭式窑是陶瓷生产中一种重要的高温烧成设备,对产品种类的适应性强,可作为工厂生产的主要烧成设备使用。随着近年来的发展,梭式窑本身的设计水平和建造水平都有显著的提高,但是梭
综合舰桥系统是一个集导航、控制、显示、监视、管理和通信功能于一体的综合航行系统。而作为综合舰桥系统的核心组成部分—电子海图显示及信息系统,是现代航海的一项新技术,