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