1) reachability tree spanning
可达树生成
2) Feasible spanning tree
可行性生成树
3) reachability tree
可达树
1.
The construction and implementatin of Petri net s reachability tree;
Petri网可达树的构造与实现
2.
Constructing and realizing reachability tree of Petri Nets by software programming;
软件编程构造和实现PetriNets可达树
3.
The reachability tree is established based on system s Petri nets model, so all the possible failure.
以系统Petri网模型为基础构造可达树,基于可达树得到系统所有可能的失效序列,给出了失效序列事件发生概率的计算方法,通过计算失效序列的发生概率求解系统动态可靠性指标。
4) reachability tree
可达性树
5) characteristic reachability tree
特征可达树
补充资料：最小生成树
最小生成树是由给定的无向图的边的子集组成的树。它有两个性质：
- 它包含图中的每个顶点。
- 它的所有边上的权的总和尽可能小。
用式子来表示：
- <math>w(T) = \sum_{(u,v)\in T} w(u,v)</math>
这里w(T)表示最小的总权值，(u,v) 表示定点u和v之间的边。
最小生成树的生成有两种方法，普里姆(Prim)算法，和克鲁斯卡尔(Kruskal)算法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条