基于着色Petri网的工作流模型的研究与应用

摘要

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。本文介绍了着色Petri网和着色工作流网(CWF-netS)的相关概念,并给出了一种分析CWF-nets的正确性的极大变迁序列方法。最后通过对一个项目金额申报(Project AmountDeclaration)业务流程的建模和分析,验证了基于CWF_nets模型的正确性。