关于Petri网可重复向量及死锁的求解算法

来源 :山东科技大学 | 被引量 : 0次 | 上传用户:ydaf1aj9
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可重复向量与死锁是Petri网理论中两个非常重要的概念,在Petri网的活性、公平性的研究中起着举足轻重的作用,因此,可重复向量与死锁的求解就成了一个必要的环节。本文在对Petri网进行结构变化的基础上,研究了T-不变量、可重复向量、死锁间的关系,给出了一些新的算法去求解一个网的可重复向量与死锁。 定义了一个网的变迁扩充网。揭示了一个网的可重复向量与这个网的变迁扩充网的T-不变量之间的关系:对原网中任意的一个可重复向量来说,在其变迁扩充网中都存在一个T-不变量与之对应,反之亦然。因此,求解一个网的可重复向量就可以通过求解其变迁扩充网的T-不变量来实现。给出了一个求解可重复向量的算法,此算法能够求出一个网的一组可重复向量,并且这个网的任意一个可重复向量都可由这组可重复向量非负有理数系数线性表出。 定义了一个网的变迁分裂网。证明了一个网的死锁与其变迁分裂网的死锁完全相同。同时,还证明一个网的变迁分裂网的死锁与这个变迁分裂网的对偶网的可重复向量支集完全相同。这样,死锁的求解就可以转化为可重复向量的求解。描述了一个求解死锁的算法,此算法能够求出一个网的一组死锁,并且,这个网的任意一个死锁都是这组死锁中某些个的一个并集,同时,这组死锁还包含了所有的极小死锁。 本文中求解算法的理论基础均是基于网结构的变化,但事实上,这些算法均可通过对Petri网的关联矩阵实施初等变换来完成,算法简洁,容易理解与实现。
其他文献
本文以集成电子商务软件GECIS开发项目为背景,构造一个基于SSL协议的表单数字签名软件构架模型,为电子商务提供更高安全保障.整个研制工作贯穿基于三层体系结构的构件化软件
嵌入式Linux的研究之所以成为当今操作系统研究的热点,是因为它的应用蕴含着巨大的商业价值.嵌入式系统之间差别很大,掌上电脑(PDA)、机顶盒、手机、数码相机、数字电视、家
传感器网络是由大量低成本、低能耗、体积小且具有一定计算能力和组网能力的传感器节点组成。传感器节点一般依靠电池供电,其电能有限,并且传感器节点一旦配置后,由于其工作
随着中国石油勘探与生产公司信息化建设的不断发展,需要建设一个勘探与生产综合信息管理系统来提高中国石油勘探与生产公司高层管理决策的及时性和科学性。 论文来源于中国
在数据库系统和计算机视觉两大研究领域的共同推动下,图像检索技术己逐渐成为一个非常活跃的研究领域。基于内容的图像检索不同于传统的基于文本的图像检索,它实际上是一种模
蛋白质相互作用位点的预测是当前的一个研究热点,它要研究的内容是确定在蛋白质-蛋白质的相互作用中,某一条链上哪些残基参与了作用。该研究对理解生物体活动机制、蛋白质功能研
空间关系可视化是文景转换的核心内容,物体空间摆放区域确定是实现空间关系可视化的重要一步,目的是将空间关系进行定量化。物体空间摆放区域确定的研究来源于国家自然科学基
按照传统的教育模式,教师对学生以面对面的方式进行教学、练习和考试,其一律采用手工出题、手工批卷的方式,不但效率很低,而且极大的限制了试卷选题的灵活度。随着计算机技术
无线传感器网络用于在某些区域内,一般是人类无法或因某种原因不能进入的区域内检测周围环境的各种变量,它的应用范围越来越广泛,其研究已成为无线网络领域的重要课题。无线传感
随着互联网(Internet)的出现和普及,人们的信息来源得到极大的丰富,获取信息的方式也随之改变。互联网成为人们获取信息的主要来源之一。在Web信息以几何级数增长的情况下,如何