Process Mining Techniques in Business Environments - Theoretical Aspects, Algorithms, Techniques and Open Challenges in Process Mining