Using a Generic Model Query Approach to Allow for Process Model Compliance Checking – An Algorithmic Perspective · Study