基于矩阵模型的工作流合理性验证算法研究

摘要：

错误的工作流模型投入运行后对系统的破坏是非常严重的,很可能导致整个工作流系统的失败.为了提高模型的正确性和验证过程的可靠性,改进一种用于对工作流模型合理性验证的算法,将工作流网在语义上等价转化为一种完全由矩阵和向量来表示的数学模型,利用矩阵和向量的运算来验证其合理性.因此,验证过程脱离了对原有工作流网的依赖,使模型验证驱于数学化,算法更便于由计算机编程实现.

关键词：Petri网、工作流网、合理性验证、矩阵、向量

所属期刊栏目：31

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

资助基金：国家自然科学基金项目60871042;国家863高技术研究发展计划基金项目2007AA10Z235、2007AA01Z179;国家农业部948引进国际先进农业科学技术计划项目2006-G63;国家科技支撑计划基金项目2006BAJ09B05、2008BADA0B05

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

页数：共5页

页码：2621-2624,2628