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 (Dec. 2024), 1320–1351. DOI:https://doi.org/10.31577/cai_2024_6_1320.