Page 173 - 《软件学报》2021年第5期
P. 173
朱锐 等:基于完全有限前缀展开的行为等价过程树生成算法 1397
Table 3 Group ED experimental case (Continued 1)
表 3 ED 组实验案例(续 1)
编号 (a) 实验模型 (b) 行为等价的过程树
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
