The state of the art of business process management research as published in the BPM conference: Recommendations for progressing the field

J Recker, J Mendling - Business & Information Systems Engineering, 2016 - Springer
The research field of Business Process Management (BPM) has gradually developed as a
discipline situated within the computer, management and information systems sciences. Its …

Petri net-based object-centric processes with read-only data

S Ghilardi, A Gianola, M Montali, A Rivkin - Information Systems, 2022 - Elsevier
During the last decade, various approaches have been put forward to integrate business
processes with different types of data. Each of these approaches reflects specific demands …

Process and deviation exploration with inductive visual miner

SJJ Leemans, D Fahland… - … Conference on Business …, 2014 - research.tue.nl
Process mining aims to extract information from recorded process data, which can be used
to gain insights into the process. This requires applying a discovery algorithm and settings …

Business process modeling, implementation, analysis, and management: the case of business process management tools

B Zuhaira, N Ahmad - Business Process Management Journal, 2021 - emerald.com
Purpose Significant numbers of business process management (BPM) projects fail. Their
failure is attributed toward many factors. Among them, low quality of BPM is one reason …

Connecting databases with process mining: a meta model and toolset

E González López de Murillas, HA Reijers… - Software & Systems …, 2019 - Springer
Process mining techniques require event logs which, in many cases, are obtained from
databases. Obtaining these event logs is not a trivial task and requires substantial domain …

Linking data science to lean production: a model to support lean practices

R Pozzi, VG Cannas, MP Ciano - International journal of production …, 2022 - Taylor & Francis
The literature discusses data science (DS) as a very promising set of techniques and tools to
support lean production (LP) practices. DS could aid manufacturing companies in …

A combinatorial characterization of resolution width

A Atserias, V Dalmau - Journal of Computer and System Sciences, 2008 - Elsevier
We provide a characterization of the resolution width introduced in the context of
propositional proof complexity in terms of the existential pebble game introduced in the …

Petri nets with parameterised data: Modelling and verification

S Ghilardi, A Gianola, M Montali, A Rivkin - … Process Management: 18th …, 2020 - Springer
During the last decade, various approaches have been put forward to integrate business
processes with different types of data. Each of these approaches reflects specific demands …

Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints

A Artale, A Kovtunova, M Montali… - … Conference, BPM 2019 …, 2019 - Springer
Existing process modeling notations ranging from Petri nets to BPMN have difficulties
capturing the data manipulated by processes. Process models often focus on the control …

Formal modeling and SMT-based parameterized verification of data-aware BPMN

D Calvanese, S Ghilardi, A Gianola, M Montali… - … Conference, BPM 2019 …, 2019 - Springer
We propose DAB–a data-aware extension of BPMN where the process operates over case
and persistent data (partitioned into a read-only database called catalog and a read-write …