Song, Jian, and Guanjun Liu. “Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets With Tables”. Computing and Informatics, vol. 43, no. 6, Dec. 2024, pp. 1320–1351, doi:10.31577/cai_2024_6_1320.