前驱图主要由两种基本元素构成：节点和有向边。节点（Node）通常代表程序中的一个逻辑单位，如一个进程、程序段或者一个语句；而有向边（Directed Edge）则是从一个节点指向另一个节点的箭头线，表示从起点节点到终点节点的方向，即起点节点执行完成后，终点节点才能开始执行的前驱关系。