Process Model Repair Based on Firing Sequences