Page 171 - 《软件学报》2021年第5期

朱锐 等:基于完全有限前缀展开的行为等价过程树生成算法 1395

Table 2 Process tree generation case (Continued)
表 2 过程树生成案例(续)
循环 Petri 网 展开网 重构活动
→(b,→(×(||(e, f ), ×(g,h) 1' ∝(→(b,→
0 a 1 ×(c,d)),i)) 6 (×(||(e,f ),
5 j 7 ×(c,d)),i)),

×(g,h))
→(∝(→(b,
→(×(||(e,f ),
6
×(c,d)),i)),
×(g,h)),j)
→(a,→(∝(→
(b,→(×(||(e,f ),
7
×(c,d)),i)),
×(g,h)),j))
8

4 实验分析

本节主要从两个方面来验证基于完全有限前缀展开的行为等价过程树生成算法:(1) 通过多个测试用例来
测试算法的可行性和有效性;(2) 通过对算法的性能进行分析,以及与现有过程树生成算法的对比,体现本文算
法的优势.本节所有的实验都在 Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz 2.40 GHz 且具有 8G RAM 的 PC
平台上完成.
4.1 实验数据
实验采用过程日志生成器(process log generator,简称 PLG [26] )生成的 100 个不同的过程模型,这些过程模型
包括本文中提到的 4 种基本结构,例如图 8 就是通过 PLG 产生的一个例子.通过 PLG 产生的过程模型记为 RD
组;构造 20 个与过程树等价的具有复杂结构的 TEPM,记为 ED 组.这两组模型作为测试用例进行测试.RD 组模
型以及本文算法的源代码已经上传至 Github(https://github.com/xgyxhy/ProcessModel).

Fig.8 An example of process model generated by PLG
图 8 PLG 生成的过程模型例子
4.2 准确性分析

为了验证算法在处理复杂结构转化问题上的有效性,首先建立 20 个较为复杂的人工案例.具体案例见表 3,
其中,(a)列是原模型,(b)列是与原模型行为等价的过程树(为了更直观地表示模型行为,本文将表 3 中(b)列的二