Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Petri Nets–An Introduction [63] is a slim book that was published almost 30 years ago and
was quickly translated into six languages and sold several thousand copies. For a long time …

Behavioural contracts are formal specifications of interaction protocols between two or more
distributed services. Despite the heterogeneous nature of the formalisms for behavioural …

More and more business requirements are crossing organizational boundaries. There
comes the cross-organization business process management, and its modeling is a …

Approaches for modifying processes both at build time and at run time are commonly
referred to as process change, which play an increasingly important role in the enterprise …

We conservatively extend the declarative Dynamic Condition Response (DCR) Graph
process model, introduced in the PhD thesis of the second author, to allow for discrete time …

Communication between organizations is formalized as process choreographies in daily
business. While the correct ordering of exchanged messages can be modeled and enacted …

Purpose The purpose of this paper is to design a consortium-blockchain based framework
for cross-organizational business process mining complying with privacy requirements …

During their lifecycle, business processes are keen to change. Changes either concern the
process model structure or the accompanying rules, eg Compliance rules (laws and …

A fundamental challenge for enterprises is to ensure compliance of their business processes
with imposed compliance rules stemming from various sources, eg, corporate guidelines …