Abstract
Business workflow management is essential and helps enhance efficiency, productivity and automation of the business functions. YAWL is one of the powerful business workflow modeling languages that is capable of representing the essential business workflow patterns needed for the software driven workflow automation. However, to do the model checking of a workflow written in YAWL is merely automated and the exhaustive simulations of the YAWL would still be time-consuming. In this paper, we propose an alternative to transform a YAWL workflow into a corresponding Petri nets model. A set of mapping rules would be proposed to cope with the non well formed model of YAWL. The resulting Petri nets model of the YAWL workflows is correct and ready for model checking.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
The YAWL Foundation: YAWL: yet another workflow language. [Online] Available: http://www.yawlfoundation.org. Last visited: 20 Mar 2019 (2019)
Ye, J.H., Sun, S.X., Song, W., Wen, L.J.:. Formal semantics of BPMN process models using YAWL. In: 2008 Second International Symposium on Intelligent Information Technology Application (2008)
Ye, J.H., Sun, S.X., Wen, L., Song, W.: Transformation of BPMN to YAWL. In: Proceedings of the 2008 International Conference on Computer Science and Software Engineering—Volume 02, IEEE Computer Society (2008)
Peleska, J.: CSP, Formal Software Engineering and the Development of Fault-Tolerant Systems. Kluwer Academic Publishers (1993)
Pornudomthap, S., Vatanawood, W.: Transforming YAWL workflow to BPEL skeleton. In: 2011 IEEE 2nd International Conference on Software Engineering and Service Science (2011)
Maneerat, N., Vatanawood, W.: Transformation of UML activity diagram into colored petri nets with inscription. In: 2016 13th International Joint Conference on Computer Science and Software Engineering, JCSSE (2016)
Deesukying, J., Vatanawood, W.: Transformation of business rule to CPN ML. In: 2016 IEEE/ACIS 15th International Conference on Computer and Information Science, ICIS (2016)
Petersoon, James L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs, N.J. (1981)
Rittgen, P.: Paving the road to business process automation. In: University Koblenz-Landau, Proceedings of the 8th European Conference on Information Systems, Trends in Information and Communication Systems for the 21st Century, ECIS 2000, Vienna, Austria, 3–5 July 2000 (2000)
Westergaard, M., (Eric) Verbeek, H.M.W.: CPN tools. [Online] Available: http://cpntools.org. Last visited: 25 Mar 2019 (2019)
Ouyang, C., Adams, M., Wynn, M.T., Ter, A.: Workflow management. In: Handbook on Business Process Management, vol. 1, pp. 475–506 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Paakbua, W., Vatanawood, W. (2020). Transforming YAWL Workflows into Petri Nets. In: Lee, R. (eds) Applied Computing and Information Technology. ACIT 2019. Studies in Computational Intelligence, vol 847. Springer, Cham. https://doi.org/10.1007/978-3-030-25217-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-25217-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25216-8
Online ISBN: 978-3-030-25217-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)