基于Petri网结构分析的从属信标存在性研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:skoda0412
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文致力于研究Petri网的一个子类—L-S3PR(Linear S3PR)网的结构特性,分析在何种结构下从属信标必然存在。信标是网的结构特性,作为信标的子集严格极小信标(Strict Minimal Siphon,简称SMS)更是能反映出网结构的活性,资源的不合理分配必然会导致SMS的出现。由各个顺序进程通过共享资源连接起来的S3PR网系统可以为一大类柔性制造系统(Flexibile Manufactory System, FMS)建模,由于其良好的特性引起了人们的广泛兴趣。在其子类L-S3PR网中,资源的环形等待是死锁出现的充要条件。把由资源节点及之间的变迁组成的强连通子网抽象出来,并称之为资源有向图。资源的循环等待在有向图中表现为圆圈的出现,称之为资源回路。经研究发现,在L-S3PR网中SMS与资源回路是一一对应的关系。在S3PR(System of Simple Sequential Processes with Resource)网中,正是由于补集的存在导致了在网的进化过程中,SMS被清空。依照SMS的T-特征向量矩阵的特性,SMS被分成基本信标、强从属和弱从属信标。任一个从属信标的补集均可以被一组基本信标的补集线性表示,且组合关系完全等同于该从属信标特征T-向量与该组基本信标特征T-向量之间的组合关系。回路矩阵是一个资源有向图全部资源回路的代数描述,并且它与补集及T-特征向量矩阵相互等价。因此可以方便地、直观地利用资源回路间关系来描述必然存在丛属信标的一个网结构所需具备的条件。经过分析大量存在弱从属信标的网结构及其资源有向图,总结并证明了必然存在弱从属信标的资源有向图特性。通过资源有向图就能确定弱从属信标的存在性,这为判断网的性质提供了一种简便快捷的方式。
其他文献
PDM技术是近年来飞速发展的技术之一,它是支持企业实施先进管理程序的使能技术,也是企业实施CIMS的支撑环境。PDM可以定义为以软件为基础,以产品为核心,实现对产品相关的数据、过
本课题基于冗余驱动4-UPS-RPU并联机构,对其进行动力学分析,进而对冗余机构的驱动力进行了优化。并且对考虑间隙的并联机构刚体动力学进行了比较系统的分析。  首先,通过对冗
随着大型工业机械设备的快速发展,低频振动问题已经引起人们越来越多的关注,低频振动对环境的影响也成为众多学者研究的热点课题,本文以环式卸煤机引起的低频振动为研究对象,对其
本文旨在研发一振动料斗教学系统,该系统由直线式振动料斗、传感器装置、功放部分和驱动控制部分组成。直线式振动料斗包括料槽、板弹簧、电磁铁和底座。传感器装置由传感器电
社会高速发展的同时,造成了环境污染和能源短缺。世界范围内为解决当前的两大问题,将目光转向了新能源领域。储量丰富、分布广泛、无污染的太阳能成为了新能源领域的研究热点。
腐殖酸是自然界中最丰富的有机质之一,广泛存在于土壤、河流、湖泊、海洋以及沉积物中。腐殖酸受到光辐射后能够发射荧光,在水环境中,当腐殖酸浓度、金属离子浓度、pH和静水压力
档案管理工作是烟草企业必须重视的一项工作,随着新时期技术的创新和市场要求的提高,烟草企业必须对档案管理工作新型途径的探索作为重要关注的问题.本文首先对烟草企业档案
柴油机是一个复杂并且被广泛使用的机电系统,现在的柴油机测试系统大多只是从某一方面分析柴油机的性能,价格高,且智能化水平不高,如何在降低投资的同时全面地测试诊断柴油机的性
道德是一个人生命的底色,生命是教育的原点,教育的核心是育人为本.北京师范大学什邡附属外国语中学以“德育为首,两翼齐飞”的办学特色,深刻地诠释了“办最好的教育”.
期刊
高铁建设虽在较大程度上改善了城市间的时间可达性,但其高票价导致的旅行费用增加在一定程度上限制了人们对高铁的消费预期。从费用可达性和居民对高铁的消费能力两个方面,基于省会城市间2008和2015年的铁路最短旅行时间及相应的票价、城镇居民人均收入数据,采用平均旅行费用、高铁消费能力指数和高铁消费预期指数等指标对省际费用可达性及居民对高铁的消费能力和消费预期进行分析。主要研究结论为:(1)高铁不同程度上