PMAI 2022
Process Management in the AI Era 2022

Table of Contents

• Preface
  Summary: There were 16 papers submitted for peer-review to this workshop. Out of these, 16 papers were accepted for this volume, 6 as regular papers and 10 as poster papers.

Keynote

• Predictive and proactive trustable process monitoring
  Chiara Ghidini

Session 1

• Model-informed LIME Extension for Business Process Explainability 1-12
  Guy Amit, Fabiana Fournier, Shlomit Gur, Lior Limonad,
• A framework for encoding the multi-location load state of a business process 13-24
  Björn Rafn Gunnarsson, Jochen De Weerdt, Seppe Vanden Broucke

Session 2

• Association Rule Mining to Study Process-Related Cause-Effect-Relationships in Pig Farming 25-36
  Tobias Zimpel, Andrea Wild, Hansjörg Schrade, Stefan Kirn
• GRACE: A Simulator for Continuous Goal Recognition over Changing Environments 37-48
  Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardina, Nick van Beest Janus
• Prescriptive Process Monitoring in Intelligent Process Automation with Chatbot Orchestration 49-60
  Sergey Zeltyn, Segev Shlomov, Avi Yaeli, Alon Oved

Session 3

• Summarizing Process Traces for Analysis Tasks: An Intuitive and User-controlled Approach 61-72
  Phuong Nguyen, Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski

Session 3: Poster paper

• Reasoning and Verification with Data Petri Nets 73-76
  Paolo Felli, Marco Montali, Sarah Winkler
• Making sense of temporal data: the DECLARE encoding 77-80
  Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi

Session 4: Poster paper

• Computing unsatisfiable cores for LTLf specifications 81-84
  Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
• Towards Continual Learning in Interactive Digital Assistants for Process Automation 85-88
  Praveen Venkateswaran, Vinod Muthusamy, Yara Rizk, Vatche Isahagian
• Intelligent Robotic Process Automation: Generating Executable RPA Scripts from Unsegmented UI Logs 89-92
  Simone Agostinelli, Andrea Marrella
• Verification of Generic, Relational Transition Systems 93-96
  Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

Session 5: Poster paper

• Towards Automated Process Planning and Mining 97-100
  Peter Fettke, Alexander Rombach
• Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes 101-104
  Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
• Declarative Mining of Business Processes via ASP 105-108
  Antonio Ielo, Francesco Ricca, Luigi Pontieri
• Explainable Interpretation of Low-Level Process Traces via Abstract Argumentation 109-112
  Bettina Fazzing, Sergio Flesca, Filippo Furfaro, Luigi Pontieri