An approach to repair Petri net-based process models with choice structures · Study