中英▼
go top

reachability graph

  • 可达图

网络释义专业释义

  [数] 可达图

...同时,为了从整体上刻画BPMN流程的内部状态及 行为活动序列,本文借助Petri网的一种重要的分析模型——可达图(reachability graph)作为模型间相似性比较 的基础.下面将针对组合服务的描述模型及其可达图给出形式化的定义.

基于158个网页-相关网页

短语

state reachability graph 状态可达图

reducing the reachability graph 化简可达图

two pass graph reachability 两阶段图形可达性

  • 可达图 - 引用次数：11

    For quantitative solution,we study GSPN and find that the reachability graph of a GSPN is isomorphic to a Continuous Time Markov Process (CTMP) when the vanishing markings are eliminated,so Markov Process method can be used.

    在安全性定量分析方面，我们研究发现去除消失标识后，GSPN的可达图与一个连续时间Markov过程(CTMP)是同构的，为此，可利用Markov过程方法进行分析。

    参考来源 - 基于Petri网的系统安全性建模与分析技术研究
    可达性图
  • 可达图 - 引用次数：3

    参考来源 - 一类柔性制造系统死锁预防策略
  • 可达图
  • 可达图

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • Howerer, the traditional algorithm of Reachability Matrix is comparative complicated, especially when there are more nodes in the Directed Graph, the arithmetic amounts are big and not enough simple.

    而可达矩阵的传统求法比较复杂，尤其是有向连接图中节点较多的时候，运算量大，不够简便。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定