...同时,为了从整体上刻画BPMN流程的内部状态及 行为活动序列,本文借助Petri网的一种重要的分析模型——可达图(reachability graph)作为模型间相似性比较 的基础.下面将针对组合服务的描述模型及其可达图给出形式化的定义.
基于158个网页-相关网页
state reachability graph 状态可达图
reducing the reachability graph 化简可达图
two pass graph reachability 两阶段图形可达性
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
应用推荐