电子科技大学学报Issue(1)：119-124,6.DOI:10.3969/j.issn.1001-0548.2014.01.020
基于Petri网的面向测试的工作流系统建模方法
Modeling Approach for Workflow Testing Based on Petri Nets
摘要
Abstract
An I/O_WF_Net model based on Petri nets is proposed in this paper. In the I/O_WF_Net model, the activities of a workflow are abstracted as transitions and the inputs and outputs of an activity are abstracted as places of a Petri net, so the model is convenient for test cases generating. The modeling method of the components and structures of a workflow are described, an algorithm that transforms a workflow net constrained by inputs and outputs into the I/O_WF_Net model and the corresponding simplifying method are given.关键词
Petri网/工作流/工作流建模/工作流测试Key words
Petri Nets/workflow/workflow modeling/workflow testing分类
信息技术与安全科学引用本文复制引用
郑长友,刘晓明,姚奕,任正平..基于Petri网的面向测试的工作流系统建模方法[J].电子科技大学学报,2014,(1):119-124,6.基金项目
国家863项目(2009AA01Z402)；中国博士后科学基金面上项目(20110491843)；江苏省自然科学基金(BK2012059,BK2012060) （2009AA01Z402）
