44、判定兼容性及预测虚拟网络底层故障的研究

判定兼容性及预测虚拟网络底层故障的研究

1. SCIWF - nets 兼容性判定相关概念

在研究 SCIWF - nets 的兼容性判定之前，需要了解一些基础概念。
- 纯输入和纯输出转移 ：设 $N^E = (N_1, N_2, \cdots, N_m, P_C, F_C, t, F_t)$ 为一个 ESCIWF - net，$S \subseteq \bigcup_{j = 1}^{m} P_j \cup P_C$ 是一个严格最小虹吸，关于 $S’ \subseteq S$ 的外延子网 $N’ = (S’, T’, F’)$ 是一个类似 S - 图。若在 $N’$ 中 $^{\bullet}t’ = \varnothing$，则 $t’ \in T’$ 是 $N’$ 的纯输入转移；若在 $N’$ 中 $t’^{\bullet} = \varnothing$，则 $t’$ 是 $N’$ 的纯输出转移。对于一个严格最小虹吸，并非其所有类似 S - 图都有纯输入转移，但每个类似 S - 图一定有纯输出转移，否则该虹吸必定包含至少一个陷阱，就不是严格的了。例如，图 4(a) 本身也是一个类似 S - 图，它没有纯输入转移，但有两个纯输出转移 $t_{1,3}$ 和 $t_{3,1}$。
- 控制和严格控制 ：在网 $N = (P, T, F)$ 中，若存在从 $t_1$ 到 $t_2$ 的路径，且该路径上每个库所的前置集都在该路径中，则 $t_2 \in T$ 受 $t_1 \in T$ 控制；若存在从 $t_1$ 到 $t_2$ 的路径，且该路径上每个库所的前置集和后置集都在该路径中，则 $t_2$ 受 $t_1$ 严格控制