Since process models are nowadays ubiquitous in many applications, the challenges and alternatives related to their development, validation, and efficient use have become more apparent.