Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Table 2

Structural characteristics of the three datasets.

Dataset	Models	Transitions	Unique transitions	Avg. transitions	Avg. places	Avg. arcs
SAP	591	4,439	1,494 (33%)	7.5	12.7	19.7
IBM	1,128	9,083	946 (10%)	8.06	10.97	21.47
AG	10,000	248,493	62 (0.026%)	24.85	16.81	63.22

AG: artificially generated dataset.