A Repair of Workflow Models Based on Mirroring Matrices · Study