Reduction procedure: experimental results and data-sets (IBM-bpm and SAP-reference benchmarks)

Experimental results and data-sets used for the evaluation of a workflow nets reduction procedure preserving generalised soundness. <br>IBM benchmark (1386 workflow nets) + SAP-reference (590 workflow nets)本资源包含用于评估保留广义合理性（generalised soundness）的工作流网（workflow nets）归约过程的实验结果与数据集，其中所用数据集由IBM基准测试集（含1386个工作流网）与SAP参考数据集（含590个工作流网）组成。