Advanced Querying and Reasoning on Business Process Models · Study