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

【文件属性】：

文件名称：基于着色Petri网的工作流模型研究与应用 (2010年)

文件大小：285KB

文件格式：PDF

更新时间：2024-06-05 14:48:17

自然科学 论文

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