推荐新闻

当前位置:[首页] > 行业核心 >

行业核心

基于Petri网的可达树与可达图的结构与算法完成

来源: http://redguia.com 发布时间:2021-09-22

  Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树,可大图等工具。

  论文研究-一种增强的基于Petri网可达图的测试序列生成算法 .pdf

  一种增强的基于Petri网可达图的测试序列生成算法,许德健,,Petri网(PN)是目前通信协议结构性测试中最常用的数学模型之一。在基于Petri网的测试序列生成算法中,通常要先构建被测模型的可达图

  对于Petri网可达树的构建,通过VC++软件实现模拟,实现了可达树的建立,节点的查询等功能。

  模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验...

  针对经典的计划评审技术不允许网络图中...结合Petri网可达图分析方法,在消减可达图的突发状态的基础上,引入矩母函数计算了PERT模型的性能参数。通过计算实例和仿真实验对比验证了该方法可以用于增强计划评审技术。

  在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能...利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。

  对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,...利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T-不变量方法对ECA规则集的终止性进行了分析。经过实例验证,该方法效果良好。

  该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行...

  基于扩展随机Petri网的可重组制造系统建模与分析方法* (2006年)

  可重组制造系统(Reconfigurablemanufacturingsystem,RMS)可根据市场变化进行组态调整和组元升级,系统的建模与分析方法必须...在此基础上采用基于行为表达式的分析方法,得到系统性能指标,该分析方法可不必画出可达图

  基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证 明了调用规则的安全性和无死锁性,基于系统仿真软件 Simulink-stateflow仿真技术...

  基于 Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模 块,并生成与各层次相对应的状态图。根据状态图抽象出其中的库所、变迁等变量,形成对应的 Petri网。利用 Petri网 ...

  以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程...

  2009年petri网年会资料,主要介绍最新进展及其研究成果,大会论文交流!

  9.4 Ada网的同步合成运算及其可达图求解.............140 9.5 基于Petri网语言的Ada程序分析........................145 9.6 PVM程序的Petri网模型........149 9.7 PVM程序到Petri网模型的转换....................

  BPMN元素到Petri的映射,开始事件、结束事件、网关、编排任务的映射

  自己用java写的基于PIPE的可达状态与安全状态计算小程序。需要事先安装pipe才行,通过pipe的状态矩阵计算生成的html文件,直接计算pipe无法计算的大Petri网的可达状态与安全状态个数

  根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程...

  随机 Petri 网的编辑器,允许创建可达树和马尔可夫图,模拟和收集模拟统计信息。 2010 年在基辅理工学院的“计算机模拟”课程期间创建。基于 JGraphX。

  本文以铁路中一个典型的会让站为例,介绍了用Petri网来描述铁路站场内部及其相互之间信号联锁及制约等逻辑关系的一种方法,并利用可达树和可达图对所构造的Petri网模型进行了分析,最后讨论了结果.利用Petri网对...

  基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止...该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统。

· 友情链接

网站地图 XML地图 txt地图 TAG标签

电话:86-0773-60406884 邮箱:673427525@KHISI.net

地址:云南省宣威市祁连路大寺沟桥西2号  技术支持:大阳城集团网站(http://redguia.com)

redguia.com 大阳城集团网站