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