基于可替换性Pe tri网工作流模型合理性验证

摘要：

所谓工作流是一类能够完全或者部分自动执行的业务过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行，模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法，通过合理且安全的构造块分步构造模型，最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析，利用着色时间Petri网建立工作流模型无需冗杂的计算，此方法适合于复杂工作流模型的合理性验证。

关键词：工作流模型、结构合理性、工作流网、可替换性

分类号：TP301.2(计算技术、计算机技术)

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

页数：共4页

页码：18-20,24