1. Mendling, J., Leopold, H., Pittke, F.: 25 challenges of semantic process modeling. Int. J. Inf. Syst. Softw. Eng. Big Companies (IJISEBC) 1(1), 78–94 (2014)
2. Haseeb, J., Ahmad, N., Malik, S., Anjum, A.: Application of formal methods to modelling and analysis aspects of business process reengineering. Business Process Manage. J. 26(2), 548–569 (2010)
3. Mutarraf, U., Barkaoui, K., Li, Z., Wu, N., Qu, T.: Transformation of business process model and notation models onto petri nets and their analysis. Adv. Mech. Eng. 10(1), 1–21 (2018)
4. Pranevičius, H., Misevičienė, R.: Verification of business process workflows. Technol. Econ. Dev. Economy 18(4), 623–635 (2012)
5. van der Aalst, W.: Business process simulation survival guide. In: van der Aalst, W. (ed.) Handbook on Business Process Management, vol. 1, pp. 337–370. W.M.P, Netherlands (2014)