Business Process Management

Tutorials.- Everything You Always Wanted To Know About Petri Nets, But Were Afraid To Ask.- Responsible Process Mining - A Data Quality Perspective.- IoT for BPMers. Challenges, case studies and successful applications.- Exploring Explorative BPM - Setting the Ground for Future Research.- Foundations.- Dynamic Reconfiguration of Business Processes.- A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.- Modeling and Enforcing Blockchain-Based Choreographies.- Formal Reasoning on Natural Language Descriptions of Processes.- Goal-oriented Process Enhancement and Discovery.- Checking Regulatory Compliance: Will We Live to See It.- Modelling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.- Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.- Engineering.- Estimating Process Conformance by Trace Sampling and Result Approximation.- Trace Clustering on Very Large Event Data in Healthcare using Frequent Sequence Patterns.- ProcessExplorer: Intelligent Process Mining Guidance.- Machine Learning-Based Framework for Log-Lifting in Business Process Mining Applications.- Approximate Computation of Alignments of Business Processes through Relaxation Labelling.- Metaheuristic Optimization for Automated Business Process Discovery.- Learning Accurate LSTM Models of Business Processes.- Management.- Trust-aware Process Design.- Mining Process Mining Practices: An Exploratory Characterization of Information Needs in Process Analytics.- Towards a Process Reference Model for Research Management: An Action Design Research effort at an Australian University.- What the Hack? - Towards a Taxonomy of Hackathons.- Design Patterns for Business Process Individualization.- Understanding the Alignment of Employee Appraisals and Rewards with Business Processes.- Business Process Improvement Activities: Differences in Organizational Size, Culture, and Resources.- Regulatory Instability, BusinessProcess Management Technology, and BPM Skill Configurations.