一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。