对基于有向图理论的工作流模型，我们作如下定义：
1）有向图G ={N, L}为一个二元组，N= {n1、n2、n3….ns } 为节点集合，L= {l1,l2,l3….ls}为连接弧集合，其中li=(nj, nk)为从nj指向nk的连接弧，nj,nk∈N。
2）对于任意ni,nj∈N.若有连接弧l = (ni ,nj) ∈L,则ni为nj的一个前驱节点，nj为ni的一个后继节点，l称为nj的一个输入连接弧，或者ni的一条输出连接弧。
3）若N’包含于N,且N’={n’|(n’ ,n) ∈L} ,则N’为节点n的前驱节点集，记为Pre (n);