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

【文件属性】：
文件名称：基于着色Petri网的工作流模型研究与应用 (2010年)
文件大小：285KB
文件格式：PDF
更新时间：2021-05-16 21:01:37
自然科学 论文 建模是工作流技术中的核心工作，也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网（CWF-nets）的相关概念，给出了一种分析CWF-nets的正确性的极大变迁序列方法，并通过对一个项目金额申报业务流程的建模和分析，验证了基于CWF-nets模型的正确性。