...同时,为了从整体上刻画BPMN流程的内部状态及 行为活动序列,本文借助Petri网的一种重要的分析模型——可达图(reachability graph)作为模型间相似性比较 的基础.下面将针对组合服务的描述模型及其可达图给出形式化的定义.
基于158个网页-相关网页
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网的系统安全性建模与分析技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
并将可达性图与可达性树进行比较，证明了可达图是较可达树更为有力的一种分析工具。
Compare the reachable tree and the reachable graph prove that reachable graph is better than reachable tree.
首先，我们给出一些图的邻接谱半径的一些新的可达上界，并说明这些新结果在一定情形下比已有的结果要好。
Firstly, we present some sharp upper bounds on the adjacency spectral radius of graphs, and show that these bounds are somewhat better than the known ones.
有向图的邻接矩阵比较容易建立，但是在建立结构模型时，更有用的是要素间的可达关系。
The Adjacency Matrix of the Directed Graph is easy to build, but the reach-relation of factors is more useful when building the structure model.
应用推荐