Return to Article Details Method for Repairing Process Models with Selection Structures Based on Token Replay Download Download PDF