Process modeling plays a central role in the development of today's process-aware
information systems both on the management level (eg, providing input for requirements …

Mixed-paradigm process models integrate strengths of procedural and declarative
representations like Petri nets and Declare. They are specifically interesting for process …

Process design artifacts (eg, process models, textual process descriptions and simulations)
are increasingly used to provide input for requirements elicitation and to facilitate the design …

We investigate process mining for the declarative Dynamic Condition Response (DCR)
graphs process modelling language. We contribute (a) a process mining algorithm for DCR …

Process design artifacts have been increasingly used to guide the modeling of business
processes. To support users in designing and understanding process models, different …

The DCR Workbench is an online tool for simulation and analysis of collaborative distributed
processes specified as DCR graphs. The Workbench is a robust and comprehensive …

In this paper, we present a technique for the discovery of hybrid process models that
combine imperative and declarative constructs. In particular, we first employ the popular …

Case Management (CM) is a BPM technology for supporting flexible services orchestration.
CM approaches like CMMN, an OMG standard, and GSM, one of CMMN's core influences …

We report on experiences from a case study applying a constraint-based process-modelling
and-simulation tool, dcrgraphs. net, to the modelling and rehearsal of railway emergency …

Process mining algorithms can be partitioned by the type of model that they output:
imperative miners output flow-diagrams showing all possible paths through a process …