基于Petri网的面向测试的工作流系统建模方法

• 作者: 任正平 刘晓明 姚奕 郑长友
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: Petri网 工作流 工作流建模 工作流测试
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 119-124
• 页数: 6页
• 分类号: TP311
• 字数: 3682字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2014.01.020

摘要

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移，将每个活动的输入输出抽象为Petri网中的库所，便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法，给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓明	解放军理工大学指挥自动化学院	61	475	12.0	18.0
2	任正平	解放军理工大学指挥自动化学院	5	43	4.0	5.0
3	郑长友	解放军理工大学指挥自动化学院	2	25	2.0	2.0
4	姚奕	解放军理工大学指挥自动化学院	5	30	4.0	5.0