搜索到105篇“ 可达树“的相关文章
- 基于Petri网可达树的组合设备调度和控制
- 半导体行业是资本和技术密集型行业,其中的半导体晶圆制造是非常复杂和自动化程度非常高的先进制造过程。组合设备广泛应用于晶圆制造过程中,是半导体制造的重要设备。目前,组合设备的相关软硬件设计与制造也是中国半导体行业中相对薄弱...
- 陈权
- 关键词：分支定界算法可达树
- Petri网并发可达树构造算法研究
- Petri网是建模和分析并行与分布式系统最常用的形式化模型。随着云计算、多核计算等技术的深入发展,并行与分布式计算领域涌现出许多新问题,对并发模型及相关分析技术提出了新的挑战。可达性分析是Petri网研究系统动态性质及行...
- 谈芝梦
- 关键词：PETRI网可达树
- 文献传递
- 移动网可达树
- 2016年
- 随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为此开展了移动网模型分析方法的研究,给出了移动网可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析。
- 张瑞华杨茹丁志军
- 关键词：移动网可达树
- 一种精准有限可达树及其在无界Petri网属性分析上的应用
- Petri网具有严格的数学基础和直观的图形化表示，一直是离散事件系统建模分析、控制与仿真的主要工具之一。然而，Petri网的理论方法中的无界网可达性分析问题一直是困扰着各国学者的世界性难点问题。针对这一问题，本文提出了一...
- 余晓龙
- 关键词：离散事件系统可达性分析
- 文献传递
- 无界Petri网的可达树的综述被引量：4
- 2015年
- Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
- 干梦迪王寿光周孟初李俊李月
- 关键词：可达树离散事件系统
- 广义无界Petri网的新型有限可达树研究被引量：1
- 2015年
- 无界Petri网目前使用有限可达树来进行可达性分析,但尚未彻底解决,主要问题在于树中虚假状态信息的存在。针对此问题,提出了一种新型可达树——精准有限可达树(Exact Finite Reachability Tree,EFRT),保证了树中没有增加虚假的可达状态信息,并且在树的继续生长中没有丢失任何状态信息,将为可达性问题的研究提供一种新思路与新方向。
- 余晓龙
- 无界Petri网可达树的研究
- 众所周知，Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础，成为研究离散事件系统的建模工具之一。尽管众多学者对Petri网进行研究并取得了很多成果，但仍然存在着一个世界性难题——可达性问题。系统的可达性是...
- 李月
- 关键词：可达树死锁检测
- 文献传递
- 基于可达树对无界 Petri网性能检测的方法研究
- Petri网是对离散并行系统的数学表示，适合于描述非同步的、并发的计算机系统模型。Petri网既有严格的数学表达方式，也有直观的图形表达方式。在Petri网的众多分析方法和工具中，可达树是最基本的一种分析方法。通过可达树...
- 汤利杰
- 关键词：PETRI网可达树可达性死锁
- 文献传递
- 利用改进可达树检查一库所无界Petri网的死锁
- 2012年
- Petri网的可达树是一个基础的强有力的分析方法和工具,它可以用来分析各种性能,包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性进行分析研究,并基于改进可达树的算法实现对一库所无界Petri网进行死锁检测。
- 汤利杰卢从慧郭大江
- 关键词：PETRI网死锁活性可达性
- VC环境下构造和实现Petri网可达树
- 2010年
- 本文讨论了在Visual C++6.0环境下Petri网可达树的构造方法和相应算法,并通过Petri网可达树分析了Petri网的其它性质,对软件设计和基于Petri网的性能分析具有一定参考价值。
- 李飞行
- 关键词：PETRI网可达树
相关作者
- 陈光
- 作品数：153被引量：562H指数：13
- 供职机构：中国人民解放军空军雷达学院
- 研究主题：故障诊断 模拟电路 VXI总线 数字电路 神经网络
- 刘久富
- 作品数：88被引量：171H指数：7
- 供职机构：南京航空航天大学自动化学院
- 研究主题：PETRI网 故障诊断 嵌入式软件 软件测试 词法分析
- 汤利杰
- 作品数：3被引量：2H指数：1
- 供职机构：成都理工大学
- 研究主题：可达树 性能检测 可达性 死锁 PETRI网
- 叶新铭
- 作品数：150被引量：449H指数：9
- 供职机构：内蒙古大学
- 研究主题：PETRI网 路由协议 着色PETRI网 CPN 网络协议
- 胡瑜
- 作品数：16被引量：52H指数：4
- 供职机构：电子科技大学自动化工程学院
- 研究主题：自动测试系统 VXI总线 GPIB总线 VXI 雷达
