摘要
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。
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.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2014年第1期119-124,共6页
Journal of University of Electronic Science and Technology of China
基金
国家863项目(2009AA01Z402)
中国博士后科学基金面上项目(20110491843)
江苏省自然科学基金(BK2012059
BK2012060)
