为了描述一个程序的各部分（程序段或语句）间的依赖关系，或者是一个大的计算的各个子任务间的因果关系，我们常常采用前趋图方式。

前趋图中的每个结点可以表示一条语句、一个程序段或一个进程，结点间的有向边表示两个结点之间存

在的偏序（Partial Order）或前趋关系（Precedence Relation）“→”，

→＝{(Pi,Pj)|在Pj开始前Pi必须完成}

如果（Pi，Pj）∈→，可写成Pi→Pj，Pi是Pj的直接前趋，Pj是Pi的直接后继

例如，具有九个结点的前趋图：

P1为初始结点，P9为终止结点

每个结点还具有一个重量

该前趋图，存在下面的前趋关系：

P1→P2，P1→P3，P1→P4，P2→P5，P3→P5，

P4→P6，P4→P7，P5→P8，P6→P8，P7→P9，P8→P9；

或表示为：

Ｐ={P1,P2,P3,P4,P5,P6,P7,P8,P9}

={(P1,P2),(P1,P3),(P1,P4),(P2,P5),(P3,P5),

(P4,P6),(P4,P7),(P5,P8),(P6,P8),(P7,P9),

(P8,P9)}

注意：前趋图中必须不存在循环

如上图不是前趋图。