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

• 作者: 卢兴见 邓文轩 邓晓 郑红
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 工作流 关联矩阵 化简 银行选址
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 交叉与前沿
• 页码范围: 307-314
• 页数: 8页
• 分类号: TP391.4
• 字数: 9287字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2018.07.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑红	华东理工大学信息科学与工程学院	25	70	6.0	7.0
2	邓文轩	华东理工大学信息科学与工程学院	3	0	0.0	0.0
3	邓晓	华东理工大学信息科学与工程学院	1	0	0.0	0.0
4	卢兴见	华东理工大学信息科学与工程学院	5	20	2.0	4.0