10.11896/j.issn.1002-137X.2018.07.052
基于矩阵的工作流逻辑网模型的化简及验证
在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发"状态空间爆炸"问题.工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象.为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础.通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性.
工作流、关联矩阵、化简、银行选址
45
TP391.4(计算技术、计算机技术)
国家自然科学基金61103115
2018-08-23(万方平台首次上网日期,不代表论文的发表时间)
共8页
307-314