Process-Mining-Based Workflow Model Fragmentation for Distributed Execution | IEEE Journals & Magazine | IEEE Xplore