Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach