Decomposing Petri nets for process mining: A generic approach
business process management : concepts , languages , architectures .