Process querying studies methods for automated management of real-world and envisioned processes, process models, process repositories, and process knowledge within modern organizations. To this end, process querying applies and contributes results in theoretical computer science fundamentals (e.g., distributed and parallel computing, model checking, and formal methods), software engineering, information systems, programming languages, workflow management, and business process management.