In this thesis we propose the application of an automated planning paradigm based on a conceptual modeling discipline for the Process Mining tasks.We posit that the presented approach enables the process discovery, conformance checking and model enhancement tasks for educational domains, comprising characteristics of unstructured processeswith intertask dependencies, multiple dependencies, concurrent events, failing activities, repeated activities, partial traces and knock-out structures.We relate the concepts in both areas of research, and demonstrate the approach applied to an academic domain example, implementing the algorithms as part of a Library for Typical Plans for Process Mining that leverages the extensive prior art in the literature.