Abstract:After introducing the theory of Colored Petri Net and WL_net, this paper proposes a colored workflow logic net to achieve the modeling of workflow. In a case study about handling insurance, reachability graph is employed to analyze the feasibility of the process. By using CWL_net, a business process flow could be modeled in a definite way, and in this workflow model the logic of process could distinguish the task finished information produced in different transitions.