Learn More
Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain(More)
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. 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. A typical domain with a great need for this kind of workflow is health(More)
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural cor-rectness criterion called soundness: given a sufficient initial number of resources, all cases in the net are guaranteed to terminate successfully, no matter which schedule is used. We give a necessary and sufficient condition for(More)
Today's information systems do not support adaptive workflow: either the information system abstracts from the workflow processes at hand and focuses on the management of data and the execution of individual tasks via applications or the workflow is supported by the information system but it is hard to handle changes. This paper addresses this problem by(More)
In this paper we consider adaptive workflow nets, a subclass of nested nets that allows more comfort and expressive power for modelling adaptation and exception handling in workflow nets. We define two important behavioral properties of adaptive workflow nets: sound-ness and circumspectness. Soundness means that a proper final marking (state) can be reached(More)