A Novel Deterministic Algorithm for Optimizing Workflow Discovery with Short-Loops in Large Event-Log

One of the main problems in process discovery is obtaining correctness workflow when analysing a Large Event-Log with high concurrent control flow, complex short loops, and uncertainty. $\propto^{T+}$ is a novel method to construct a standardization workflow model in the SWF-Net for discovering a large event log with high concurrency free-choice, parallel, and non-free-choice control flow within an uncertainty short-loop. By the testing result, the short-loop construction places with the optimistic and pessimistic One-Loop-Free approach have the best results compared to other existing methods based on deterministic, heuristic, genetic, inductive, also Integer Linear Programming algorithms. $\propto^{T+}$ has proofed achieved completeness and correctness SWF-Net with high rate on fitness recall up to 95% and appropriateness up to 90%.