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. IBM benchmark (1386 workflow nets) + SAP-reference (590 workflow nets) 15/08/2016本数据集包含用于评估保留广义合理性（generalised soundness）的工作流网（workflow nets）归约过程的实验结果与数据集。其中涵盖IBM基准数据集（1386个工作流网）与SAP参考数据集（590个工作流网），发布日期为2016年8月15日。