Process Mining Techniques for Pattern Recognition (Concepts, Theory, and Practice)