M. Voorhoeve

Publications
Influence

Soundness of workflow nets: classification, decidability, and analysis

W. V. D. Aalst, K. V. Hee, +4 authors M. T. Wynn
Computer Science
Formal Aspects of Computing
1 May 2011

We show that the eight soundness notions described in the literature are decidable for workflow nets. Expand

Adaptive Workflow-On the Interplay between Flexibility and Support

W. V. Aalst, T. Basten, H. Verbeek, P. A. Verkoulen, M. Voorhoeve
Computer Science, Chemistry
ICEIS
1999

This paper addresses this problem by classifying the types of changes. Expand

Soundness of Resource-Constrained Workflow Nets

K. V. Hee, Alexander Serebrenik, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
20 June 2005

We study concurrent processes modelled as workflow Petri nets extended with resource constraints. Expand

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

K. V. Hee, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
23 June 2003

We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. Expand

Resource-Constrained Workflow Nets

K. V. Hee, N. Sidorova, M. Voorhoeve
Computer Science
Fundam. Informaticae
1 August 2006

We study concurrent processes modelled as workflow Petri nets extended with resource constrains. Expand

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers

A. Mooij, Jarungjit Parnjai, C. Stahl, M. Voorhoeve
Computer Science, Chemistry
WS-FM
16 September 2010

We address the replacement of services that are stateful rather than stateless, i. Expand

Generalised Soundness of Workflow Nets Is Decidable

K. V. Hee, N. Sidorova, M. Voorhoeve
Computer Science, Psychology
ICATPN
21 June 2004

We investigate the decidability of the problem of generalised soundness for Workflow nets and give a decision procedure for it. Expand

Executable Specifications for Distributed Information Systems

K. V. Hee, L. J. Somers, M. Voorhoeve
Computer Science
ISCO
1989

Impossible futures and determinism

M. Voorhoeve, S. Mauw
Economics, Mathematics
Inf. Process. Lett.
15 October 2001

We present a class ⪯ n of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. Expand

Nested Nets for Adaptive Systems

K. V. Hee, I. Lomazova, Olivia Oanea, Alexander Serebrenik, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
26 June 2006

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

Recommended Authors