Keynotes -- Process Minding: Closing the Big Data Gap -- Characterizing Machine Learning Processes: A Maturity Framework -- Foundations -- Extending Temporal Business Constraints with Uncertainty -- Petri Nets with Parameterised Data Modelling and Verification -- Socially-Aware Business Process Redesign -- Incentive Alignment of Business Processes -- PRIPEL: Privacy-Preserving Event Log Publishing Including Contextual Information -- A Framework for Estimating Simplicity of Automatically Discovered Process Models Based on Structural and Behavioral Characteristics -- Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm -- Engineering -- Looking for Meaning: Discovering Action-Response-Effect Patterns in Business Processes -- Extracting Annotations from Textual Descriptions of Processes -- Analyzing Process Concept Drifts Based on Sensor Event Streams During Runtime -- TADE: Stochastic Conformance Checking using Temporal Activity Density Estimation -- Predictive Business Process Monitoring via Generative Adversarial Nets: The Case of Next Event Prediction -- Exploring Interpretable Predictive Models for Business Processes -- Triggering Proactive Business Process Adaptations via Online Reinforcement Learning -- Video-to-Model: Unsupervised Trace Extraction from Videos for Process Discovery and Conformance Checking in Manual Assembly -- Enhancing Event Log Quality: Detecting and Quantifying Timestamp Imperfections -- Automatic Repair of Same-Timestamp Errors in Business Process Event Logs -- Management -- Explorative Process Design Patterns -- Quo vadis, Business Process Maturity Model? Learning from the Past to Envision the Future -- A typological framework of process improvement project stakeholders -- BP-IT Alignment in SMEs: a Game-based Learning Approach to Increase Stakeholders' Maturity -- Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts -- Adding Intelligent Robots to Business Processes: A Dilemma Analysis of Employees' Attitudes -- How to Keep RPA Maintainable? -- A Consolidated Framework for Implementing Robotic Process Automation Projects -- A Multi Perspective Framework for Enhanced Supply Chain Analytics -- Event Log Generation in a Health System: a Case Study.

This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions. Two full keynote papers are also included. The papers are organized in topical sections named: foundations; engineering; and management.