An Approach for Repairing Process Models Based on Logic Petri Nets · Study