• Publications
  • Influence
Soundness of workflow nets: classification, decidability, and analysis
TLDR
We show that the eight soundness notions described in the literature are decidable for workflow nets. Expand
  • 337
  • 40
  • PDF
Adaptive Workflow-On the Interplay between Flexibility and Support
TLDR
This paper addresses this problem by classifying the types of changes. Expand
  • 108
  • 8
  • PDF
Soundness of Resource-Constrained Workflow Nets
TLDR
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. Expand
  • 47
  • 8
  • PDF
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
TLDR
We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. Expand
  • 132
  • 7
  • PDF
Resource-Constrained Workflow Nets
TLDR
We study concurrent processes modelled as workflow Petri nets extended with resource constrains. Expand
  • 39
  • 4
  • PDF
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers
TLDR
We address the replacement of services that are stateful rather than stateless, i. Expand
  • 19
  • 4
  • PDF
Generalised Soundness of Workflow Nets Is Decidable
TLDR
We investigate the decidability of the problem of generalised soundness for Workflow nets and give a decision procedure for it. Expand
  • 84
  • 3
  • PDF
Impossible futures and determinism
TLDR
We present a class ⪯ n of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. Expand
  • 30
  • 3
  • PDF
Nested Nets for Adaptive Systems
TLDR
We study the value semantics of nested nets rather than the reference semantics and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. Expand
  • 59
  • 2
  • PDF