ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 14:30 - 15:00 at SUN I - Hybrid and Stochastic Systems Chair(s): Kim Larsen

Free-Choice Workflow Petri nets, also known as Workflow Graphs, are a popular model in Business Process Modeling. In this paper we introduce Timed Probabilistic Workflow Nets (TPWNs), and give them a Markov Decision Process (MDP) semantics. Since the time needed to execute two parallel tasks is the maximum of the times, and not their sum, the expected time cannot be directly computed using the theory of MDPs with rewards. In our first contribution, we overcome this obstacle with the help of “earliest-first” schedulers, and give a single exponential-time algorithm for computing the expected time. In our second contribution, we show that computing the expected time is #P-hard, and so polynomial algorithms are very unlikely to exist. Further, #P-hardness holds even for workflows with a very simple structure in which all transitions times are 1 or 0, and all probabilities are 1 or 0.5. Our third and final contribution is an experimental investigation of the runtime of our algorithm on a set of industrial benchmarks. Despite the negative theoretical results, the results are very encouraging. In particular, the expected time of every workflow in a popular benchmark suite with 642 workflow nets can be computed in milliseconds.

Wed 10 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Hybrid and Stochastic Systems at SUN I
Chair(s): Kim LarsenAalborg University
tacas-2019-papers14:00 - 14:30
Talk
Satoshi Kura, Natsuki Urabe, Ichiro HasuoNational Institute of Informatics
Link to publication
tacas-2019-papers14:30 - 15:00
Talk
Link to publication
tacas-2019-papers15:00 - 15:30
Talk
Milan CeskaBrno University of Technology , Nils JansenRWTH Aachen University, Sebastian JungesRWTH Aachen University, Germany, Joost-Pieter KatoenRWTH Aachen University
Link to publication
tacas-2019-papers15:30 - 16:00
Talk
Link to publication