基于Petri网工作流过程模型合理性验证方法

• 作者: 王立君 郭晓冬
• 来源期刊: 吉林大学学报（信息科学版）
• 学科: 工学
• 关键词: 工作流 过程建模 Petri网 合理性验证
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 590-594
• 分类号: TP302
• 字数: 3984字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2011.06.015

摘要

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立君	长春工业大学信息传播工程学院	29	43	4.0	5.0
2	郭晓冬		4	6	2.0	2.0