對基于有向圖理論的工作流模型，我們作如下定義：
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);