Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets

YAWL is a workflow language for creating workflow and used to describe and animate the designated business processes. In this paper, we extend the time duration to several essential task related YAWL symbols as the representation of the average time used in order to enable the quantitative analysis of the time forecasting in business processes. A set of mapping rules are formally defined to transform a particular YAWL with time constraints into a generalized stochastic Petri nets which can analyze the quantitative time performance of each task in the business process. We demonstrate the construction of the reachability graph of the resulting GSPN as the state space of the business process. A Markovian graph is then isomorphically generated with the exponential probability distribution matrix for the final time forecasting analysis.

[1]  Homayun Motameni,et al.  Analytic Evaluation on Petri Net by Using Markov Chain Theory to Achieve Optimized Models , 2008 .

[2]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[3]  JianHong Ye,et al.  Formal Semantics of BPMN Process Models Using YAWL , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[4]  Wiwat Vatanawood,et al.  Transforming YAWL workflow to BPEL skeleton , 2011, 2011 IEEE 2nd International Conference on Software Engineering and Service Science.

[5]  Wanshan Wang,et al.  Design and Implementation of Workflow Engine for Process Planning Based on GSPN , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[6]  Wiwat Vatanawood,et al.  Transforming YAWL Workflows into Petri Nets , 2019 .

[7]  Wiwat Vatanawood,et al.  Formalism of Stochastic Queueing Network using Stochastic Petri Nets , 2018, 2018 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

[8]  Gianfranco Balbo,et al.  Introduction to Stochastic Petri Nets , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[9]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[10]  Wen Song,et al.  Transformation of BPMN to YAWL , 2008, 2008 International Conference on Computer Science and Software Engineering.

[11]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .