摘要： 结合有色Petri网相关理论，提出有色同步网的概念，并应用其建立一个工作流过程模型——有色逻辑网（CL_net）。通过一个具体实例介绍了使用有色逻辑网模型描述业务流程的方法，同时采用绘制可达图的方法分析了业务流程的合理性，进一步说明了模型的实用性和可推广性。

关键词: 工作流, 工作流过程建模, Petri网, 有色同步网, 有色逻辑网

Abstract: The concept of colored synchronized-nets is proposed on basis of colored petri-nets, and a workflow process model named colored logic-nets (CL_net) is constructed according to colored synchronized-nets. A concrete instance is introduced to describe the methodology of process description using CL_net, and to show the practicability and popularizability of CL_net, reachability graph is employed to analyze the feasibility of the process.

Key words: Workflow, Workflow process modeling, Petri-nets, Colored synchronized-nets, Colored logic-nets