【前驱图】
前驱图是一个 DAG，其用于描述进程间执行的先后次序，图中的每个结点用于表示一个进程或一个程序段，结点间的有向边表示两个结点间存在的偏序关系(前趋关系)
进程间的前趋关系用 $\rightarrow$ 来表示，若进程 $P_i$ 和 $P_j$ 间存在前趋关系，可表示为 $(P_i,P_j) \in \rightarrow$，即：$P_i \rightarrow P_j$，表示 $P_j$ 在执行前 $P_i$ 必须完成
在前驱图中，将没有前驱的结点称为初始结点，将没有后继的结点称为终止结点，此外，每个结点还具有一个价值，用于表示该结点所含有的进程的执行时间
【进程图】
层次结构
在 OS 中，允许一个进程创建另一个进程，通常将创建进程的进程称为父进程，将被创建的进程称为子进程，子进程可以继续创建更多孙进程，以此类推，由此便形成了一个进程的层次结构
在 UNIX 中，进程与其子孙进程共同组成了一个进程组
而在 Windows 中，所有的进程都具有相同的地位，如果一个进程创建另外的进程时创建进程获得了一个句柄，其作用相当于一个令牌，可以用来控制被创建的进程，但这个句柄是可传递的，也就是说，获得了句柄的进程拥有控制其他进程的权力，因此，进程之间的关系不是层次关系，而是获得句柄与否、控制与被控制的简单关系
进程图
为了形象地描述一个进程的家族关系，从而引入了进程图
简单来说，进程图就是用于描述进程间关系的一棵有向树，如下图，图中结点代表进程，有向边代表创建关系
