Today, version 6.13.70 of the DiSCover package has been released. This release introduces options to filter the component matrices, to select a smallest subset of components that cover all activities, and to skip step 4 (which may take a long time).
This step now has an option to skip step 4.
The option to select components that cover all activities has been added. If selected, a smallest set of components is selected that cover all activities. The older option to use ILP reduction has been renamed to select components that cover all activity sets.
The filters are similar to filtering the root matrix, but here a cell will only be filtered out if all component matrices agree that it can be filtered out.
Because of the new option to select component that cover all activities, only two components remain in this step.
Note that this net is simpler as the net that results from earlier releases.