Song, Jian, and Guanjun Liu. 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.