一种基于Petri网的工作流过程模型正确性的有效验证方法

• 作者: 姜浩 罗军舟 董逸生
• 来源期刊: 东南大学学报(英文版)
• 学科: 工学
• 关键词: 工作流 过程建模 Petri网 验证
• 年，卷（期）: 2002,（4）
• 页码范围: 361-366
• 页数: 6页
• 分类号: TP391
• 字数: 928字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2002.04.015

摘要

随着工作流应用的日益广泛,工作流模型正确性验证的重要性日渐突出.论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误,给出了一个有效的验证算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜浩	东南大学计算机科学与工程系	48	786	15.0	26.0
2	罗军舟	东南大学计算机科学与工程系	165	4086	26.0	60.0
3	董逸生	东南大学计算机科学与工程系	118	3003	29.0	49.0