基于矩阵的工作流逻辑网模型的化简及验证

摘要：

在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发"状态空间爆炸"问题.工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象.为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础.通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性.

关键词：工作流、关联矩阵、化简、银行选址

所属期刊栏目：45

分类号：TP391.4(计算技术、计算机技术)

资助基金：国家自然科学基金61103115

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

页数：共8页

页码：307-314