Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets
暂无分享,去创建一个
[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 .