Decomposing Petri nets for process mining: A generic approach
Process Discovery using Integer Linear Programming