Song, J. and Liu, G. (2024) “Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables”, Computing and Informatics, 43(6), pp. 1320–1351. doi: 10.31577/cai_2024_6_1320.