Return to Article Details Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning Download Download PDF