Filtered BPMN to Petri Nets migration