collaborators

1 paper

cs.LO2016

Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets

Javier Esparza, Philipp Hoffmann, Ratul Saha

We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes…