The state of the art of business process management research as published in the BPM conference: Recommendations for progressing the field
The research field of Business Process Management (BPM) has gradually developed as a
discipline situated within the computer, management and information systems sciences. Its …
discipline situated within the computer, management and information systems sciences. Its …
Petri net-based object-centric processes with read-only data
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 …
processes with different types of data. Each of these approaches reflects specific demands …
Process and deviation exploration with inductive visual miner
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 …
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
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 …
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
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 …
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
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 …
support lean production (LP) practices. DS could aid manufacturing companies in …
A combinatorial characterization of resolution width
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 …
propositional proof complexity in terms of the existential pebble game introduced in the …
Petri nets with parameterised data: Modelling and verification
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 …
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
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 …
capturing the data manipulated by processes. Process models often focus on the control …
Formal modeling and SMT-based parameterized verification of data-aware BPMN
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 …
and persistent data (partitioned into a read-only database called catalog and a read-write …