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

摘要：

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

关键词： 着色Petri网 工作流模型 项目金额申报 极大变迁序列 业务流程

作者: 高德平 周国祥

作者单位: 合肥工业大学计算机与信息学院,安徽合肥 230009

会议类型: 国内会议

会议名称: 全国第20届计算机技术与应用(CACIS)学术会议

会议地点: 南宁

会议语种:中文

页码: 973-977

在线出版日期: 2009-07-17（万方平台首次上网日期，不代表论文的发表时间）