8、流程合成中的顺序与并行约束处理

流程合成中的顺序与并行约束处理

1. 生成依赖图

为了处理任务集和顺序约束，我们可以使用 GenerateDPGraph 算法来生成依赖图。以下是该算法的具体实现：

Algorithm 1. GenerateDPGraph (task set T , Sequential Constraints S) : DP
1: while ∃t1 ∈T , t2 ̸∈T with (t1, t2) ∨(t2, t1) ∈S and t1 is the antecedent part do
2:
    T ←T ∪{t2}
3: end while
4: for all t ∈T do
5:
    Add a state t to the dependency graph DP
6: end for
7: for all (t1, t2) ∈S do
8:
    if t1, t2 ∈T then
9:
        Add an edge (t1, t2) to the dependency graph DP
10:
    end if
11: end for
12: DP ←Build the transitive hull of DP
13: return The dependency graph DP

该算法的步骤如下：
1. 扩展任务集 T ，将所有与 T 中任务存在顺序约束的后续任务加入 T 。
2. 为 T 中的每个