Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri Nets · Study