前趋图(续) 前趋图中的每个结点可以表示一条语句 个程序段或进程,结点间的有向边表示 两个结点之间存在的偏序( Partial order) 或前趋关系( Precedence relation)“→” (Pi,Pj)在P开始前Pi必须完成}如果 (Pi,Pj)∈→,可写成Pi→Pj,Pi是Pj的 直接前趋,Pj是Pi的直接后继。前趋图中 必须不存在循环,如下图不是前趋图。 →●前趋图（续） • 前趋图中的每个结点可以表示一条语句、 一个程序段或进程，结点间的有向边表示 两个结点之间存在的偏序(Partial_Order) 或前趋关系(Precedence_Relation)“→” ＝{(Pi,Pj)|在Pj开始前Pi必须完成}如果 (Pi,Pj)∈→，可写成Pi→Pj，Pi是Pj的 直接前趋，Pj是Pi的直接后继。前趋图中 必须不存在循环，如下图不是前趋图